Deakin University / All Locations

Add Marked to Bag Add All On Page Add Marked to My Lists
Authors (Last name first) (1-5 of 5)
Raschke, Alexander,
1 2018 Abstract state machines, Alloy, B, TLA, VDM, and Z : 6th International Conference, ABZ 2018, Southampton, UK, June 5-8, 2018, Proceedings ABZ (Conference) (6th : 2018 : Southampton, England) Cham, Switzerland : Springer, 2018 Rating: Electronic Resources More...
2 2021 Logic, computation and rigorous methods : essays dedicated to Egon Börger on the occasion of his 75th birthday Rating: Electronic Resources More...
3 2018 Modeling companion for software practitioners Börger, E. (Egon), 1946- author. Berlin, Germany : Springer, 2018 Rating: Electronic Resources More...
4 2020 Rigorous state-based methods 7th International Conference, ABZ 2020, Ulm, Germany, May 27-29, 2020, Proceedings ABZ (Conference) (7th : 2020 : Ulm, Germany) 1st ed. 2020 Cham : Springer International Publishing : Imprint: Springer, 2020 Rating: Electronic Resources More...
5 2021 Rigorous state-based methods : 8th international conference, ABZ 2021, Ulm, Germany, June 9-11, 2021 : proceedings ABZ (Conference) (8th : 2021 : Online) Cham : Springer, [2021] Rating: Electronic Resources More...
Add Marked to Bag Add All On Page Locate in results

Abstract state machines, Alloy, B, TLA, VDM, and Z : 6th International Conference, ABZ 2018, Southampton, UK, June 5-8, 2018, Proceedings