Computer aided verification 5th international conference, CAV'93, Elounda, Greece, June 28-July 1, 1993.

מידע ביבליוגרפי
מחבר תאגידי: CAV (Conference) (5th : 1993 : Elounda, Greece)
מחברים אחרים: Courcoubetis, Costas
פורמט: ספר
שפה:English
יצא לאור: Berlin Springer-Verlag c1993.
סדרה:Lecture notes in computer science 697
נושאים: