Author: Mark G. Staskausas
Publication Overview
Publication period start: 1996
Publications
Staskausas,
Mark G.
(1996):
An Experience in the Formal Verification of Industrial Software.
In
Communications of the ACM,
39
(12)
pp. 256-272.