Title: Computer Aided Verification: 6th International Conference, Cav '94, Stanford, California, Usa, June 21-23, 1994
Subjects: Computer software, Congresses, Verification, Electronic digital computers, Evaluation, Logiciels, Congrès, Vérification, Ordinateurs, Évaluation, Essais