Limit search to available items
Add Marked to Bag Add All On Page Add Marked to My Lists
Authors (Last name first) (1-6 of 6)
Schaefer, Ina,
3
E-book
2014

Formal methods for executable software models : 14th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2014, Bertinoro, Italy, June 16-20, 201


International School on Formal Methods for the Design of Computer, Communication, and Software Systems (14th : 2014 : Bertinoro, Italy)

Cham : Springer, [2014]

Rating:

 
6
E-book
2018

Software engineering and formal methods : 16th International Conference, SEFM 2018, held as part of STAF 2018, Toulouse, France, June 27-29, 2018, Proceedings


International Conference on Software Engineering and Formal Methods (16th : 2018 : Toulouse, France)

Cham, Switzerland : Springer, 2018

Rating:

 
Add Marked to Bag Add All On Page
Locate in results