1
Rigorous State-Based Methods [E-Book] : 9th International Conference, ABZ 2023, Nancy, France, May 30-June 2, 2023, Proceedings /
Other Personal Name(s): “...Glässer, Uwe...”

Full text 
Favorites
Saved in:
2
Abstract State Machines, Alloy, B and Z [E-Book] : Second International Conference, ABZ 2010, Orford, QC, Canada, February 22-25, 2010. Proceedings /
Other Personal Name(s): “...Glässer, Uwe...”

Full text 
Favorites
Saved in:
3
Rigorous Methods for Software Construction and Analysis [E-Book] : Essays Dedicated to Egon Börger on the Occasion of His 60th Birthday /
Other Personal Name(s): “...Glässer, Uwe...”

Full text 
Favorites
Saved in:

Narrow Search Results