Paper accepted at ABZ 2020

10.03.2020

We are very happy to announce that a paper has been accepted at the 7th International Conference on Rigorous State Based Methods (ABZ 2020)!

Structuring the State and Behavior of ASMs: Introducing a Trait-Based Construct for Abstract State Machine Languages. Philipp Paulweber, Emmanuel Pescosta and Uwe Zdun.

See you in Ulm in May!

Back