Reading Length
Home
Speed Tests
Login
Gerardo Schneider
Identifiers
Open Library
OL7961320A
Books by Gerardo Schneider
Total count: 2
Software Engineering and Formal Methods
9th International Conference, SEFM 2011, Montevideo, Uruguay, November 14-18, 2011, Proceedings
Springer London, Limited
2011-01-01
Formal Methods for Software Engineering
Languages, Methods, Application Domains
Springer
2020-09-22
