%0 Book
%A E.M. Clarke, R.P. Kurshan )eds.(
%T Computer-aided verification : 2nd International Conference, CAV'90, New Brunswick, NJ, USA, June 18-21, 1990 : Proceedings
%U /book/101373569/Computeraided-verification-2nd-International-Co/