Browse by Person (creator, editor, contributor, etc.)
Number of items: 3.
Conference or workshop item
de Lemos, Rogério and Saeed, A.
Validating Formal Verification using Safety Analysis Techniques.
In: Proceedings of the 18th International Conference on Computer Safety, Reliability and Security (SAFECOMP'99), Sep 28-29, 1999, Toulouse, France.
(The full text of this publication is not available from this repository)