Software Engineering Education: Rôles of Formal Specification and Design Calculi

Dines Bjørner, Jorge Cuéllar. Software Engineering Education: Rôles of Formal Specification and Design Calculi. Ann. Software Eng., 6:365-409, 1998.

Abstract

Abstract is missing.