Search for persons
X
?
1
Formal Methods. FM 2019 International Workshops: Porto, Por..
Programming and Software Engineering, 12233
?
2
Formal Methods. FM 2019 International Workshops: Porto, Por..
Programming and Software Engineering, 12232
?
3
Integrated Formal Methods
11th International Conference, IFM 2014, Bertinoro, Italy, ...
Lecture Notes in Computer Science ; 8739;SpringerLink, Bücher
?
4
FM 2006: Formal Methods
14th International Symposium on Formal Methods, Hamilton, C...
Lecture Notes in Computer Science ; 4085;SpringerLink, Bücher