Acronyms von A bis Z
LNCS531
-E.M. Clarke/R.P. Kurshan (Eds.): Computer Aided Verification, Springer-Verlag Proceedings 1990
-E.M. Clarke/R.P. Kurshan (Eds.): Computer Aided Verification, Springer-Verlag Proceedings 1990