Computer-aided verification : proceedings - Clarke E M; International Conference on Computer Aided Verification( 2nd : 1990 : New Brunswick ); International Conference on Computer Aided Verification 2nd New Brunswick, 1990 (Berlin Springer Verlag, 1991)
Keywords: Computer science; Computer-aided verification