Jan Vitt

List of publications from the DBLP Bibliography Server - FAQ

1995

1 Jan Vitt, Jozef Hooman: Assertional Specification and Verification Using PVS of the Steam Boiler Control System. Formal Methods for Industrial Applications 1995: 453-472

1995
1		Jan Vitt, Jozef Hooman: Assertional Specification and Verification Using PVS of the Steam Boiler Control System. Formal Methods for Industrial Applications 1995: 453-472

Coauthor Index