Options
Title
High-Assurance Engineering Workshop 1997. Proceedings
Title Supplement
Washington, DC, August 11 - 12, 1997
Corporate Author
IEEE Computer Society
Publisher
Publishing Place
Los Alamitos, Calif.
Publication Date
1997
ISBN
0-8186-7971-9