1
Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change [E-Book]: 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Proceedings, Part I /

Full text 
Favorites
Saved in:
2
Leveraging Applications of Formal Methods, Verification and Validation. Applications and Case Studies [E-Book]: 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Proceedings, Part II /

Full text 
Favorites
Saved in:
3
Brain-Inspired Computing [E-Book] : Second International Workshop, BrainComp 2015, Cetraro, Italy, July 6-10, 2015, Revised Selected Papers /

Full text 
Favorites
Saved in:
4
Search-Based Software Engineering [E-Book] : 15th International Symposium, SSBSE 2023, San Francisco, CA, USA, December 8, 2023, Proceedings /

Full text 
Favorites
Saved in:

Narrow Search Results