Software Engineering with Formal Methods: The Development of a Storm Surge Barrier Control System - Revisiting Seven Myths of Formal Methods (2001)

by Jan Tretmans , Klaas Wijbrans , Michel Chaudron
Citations:18 - 3 self