IEEE High-Assurance Systems Engineering Workshop (1st 1996 Ontario, Canada)

Proceedings, IEEE High-Assurance Systems Engineering Workshop, October 21-22, 1996, Niagara on the Lake, Ontario, Canada