Sign in

Prototyping Formal System Models with Active Objects.

Eduard KamburjanReiner Hähnle
Published in: ICE (2018)
Keyphrases