Jorge Cuéllar;Isolde Wildgruber
-;-
Software engineering education: Rôles of formal specification and design calculi
Annals of Software Engineering - Special issue on software engineering education