Computer Aided Verification: 6th International Conference, Cav '94, Stanford, California, Usa, June 21-23, 1994

Name: Computer Aided Verification: 6th International Conference, Cav '94, Stanford, California, Usa, June 21-23, 1994
ISBN: 9780387581798

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 compe…