Prototyping Formal System Models with Active Objects

Published in ICE, 2018

Recommended citation: Eduard Kamburjan, Reiner Hähnle. (2018). ICE. EPTCS 279