Suchergebnisse für "Michael Butler/Alexander Raschke/Thai Son Hoang et al"

Abstract State Machines, Alloy, B,TLA, VDM, and Z

6th International Conference, ABZ 2018, Southampton, UK, June 5-8,2018, Proceedings, Lecture Notes in Computer Science 10817 - Theoretical Computer Science and General Issues

Michael Butler/Alexander Raschke/Thai Son Hoang et al

Springer Verlag GmbH