Computer-aided verification : proceedings - Bochmann G V; International Conference on Computer Aided Verification( 4th : 1992 : Montreal ); International Conference on Computer Aided Verification 4th Montreal, 1992 (Berlin Springer Verlag, 1993)
Keywords: Computer-aided verification