Online Public Access Catalogue (OPAC)Library,Documentation and Information Science Division
“A research journal serves that narrow
borderland which separates the known from the unknown”
-P.C.Mahalanobis
5.14 In61(93) 113372
Courcoubetis Costas International Conference on Computer Aided Verification( 5th : 1993 : Elounda, Greece ) International Conference on Computer Aided Verification 5th Elounda, Greece 1993 Computer-aided verification : proceedings Berlin Springer Verlag 1993 ix,504p * Computer-aided verification