Stavridou V. Safety-critical systems, formal methods and standards (1993)

by Bowen JP
Venue:IEE/BCS Software Engineering Journal