Costas Courcoubetis;Susanne Graf;Joseph Sifakis
-;-;-
Software engineering education: Rôles of formal specification and design calculi
Annals of Software Engineering - Special issue on software engineering education