Computer Aided Verification 6th International Conference, CAV '94, Stanford, California, USA, June 21-23, 1994. Proceedings / edited by David L. Dill.
This volume contains the proceedings of the 6th Conference on Computer Aided Verification, held at Stanford University in June 1994. The in total 37 included papers were selected in a highly competetive reviewing process from 121 submissions; in total they document many of the most important advance...
Full description
Saved in: