This volume contains the proceedings of the 7th Working Formal Methods Symposium, which was held at the University of Bucharest, September 21-22, 2023
Available from Slovak Centre of Scientific and Technical Information, under shelf-number: A575075 / ...
Preface: This research report contains the proceedings of the PhD Symposium at iFM’19 on Formal Met...
Preface to the proceedings of the 4th International Workshop on Formal Aspects of Component Software...
It is our pleasure to present the papers of the sixth Working Formal Methods Symposium (FROM 2022) h...
This volume contains the proceedings of FM 2003, the 12th international formal Methods Europesymposi...
This volume contains the proceedings of the 11th International Conference on Software Engineering an...
This volume contains the revised version of a selection of papers presented at the B 2011 Workshop, ...
Proceedings of the 7th International Conference on Pattern Recognition Applications and Methods 201
This book constitutes the refereed proceedings of the workshops which complemented the 23rd Symposiu...
Available from Slovak Centre of Scientific and Technical Information, under shelf-number: A584151 / ...
This EPTCS volume contains the proceedings for the Fifth International Workshop on Formal Methods fo...
This volume contains the proceedings of TFM 2009, the Second International FME Conference on Teachi...
This volume contains the proceedings of iFM 2010, the 8th International Conference on Integrated For...
This is the seventh volume of the International Interdisciplinary Business and Economics Conference ...
Proceedings of the 7th international conference on integrated fruit production. Avignon (France), Oc...
Available from Slovak Centre of Scientific and Technical Information, under shelf-number: A575075 / ...
Preface: This research report contains the proceedings of the PhD Symposium at iFM’19 on Formal Met...
Preface to the proceedings of the 4th International Workshop on Formal Aspects of Component Software...
It is our pleasure to present the papers of the sixth Working Formal Methods Symposium (FROM 2022) h...
This volume contains the proceedings of FM 2003, the 12th international formal Methods Europesymposi...
This volume contains the proceedings of the 11th International Conference on Software Engineering an...
This volume contains the revised version of a selection of papers presented at the B 2011 Workshop, ...
Proceedings of the 7th International Conference on Pattern Recognition Applications and Methods 201
This book constitutes the refereed proceedings of the workshops which complemented the 23rd Symposiu...
Available from Slovak Centre of Scientific and Technical Information, under shelf-number: A584151 / ...
This EPTCS volume contains the proceedings for the Fifth International Workshop on Formal Methods fo...
This volume contains the proceedings of TFM 2009, the Second International FME Conference on Teachi...
This volume contains the proceedings of iFM 2010, the 8th International Conference on Integrated For...
This is the seventh volume of the International Interdisciplinary Business and Economics Conference ...
Proceedings of the 7th international conference on integrated fruit production. Avignon (France), Oc...
Available from Slovak Centre of Scientific and Technical Information, under shelf-number: A575075 / ...
Preface: This research report contains the proceedings of the PhD Symposium at iFM’19 on Formal Met...
Preface to the proceedings of the 4th International Workshop on Formal Aspects of Component Software...
DOI
Add to ORKG