Computer-Aided Verification, Proceedings of a DIMACS Workshop 1990, New Brunswick, New Jersey, USA, June 18-21, 1990

Edmund M. Clarke, Robert P. Kurshan, editors, Computer-Aided Verification, Proceedings of a DIMACS Workshop 1990, New Brunswick, New Jersey, USA, June 18-21, 1990. Volume 3 of DIMACS Series in Discrete Mathematics and Theoretical Computer Science, DIMACS/AMS, 1991. [doi]

Conference: dimacs1991

Editors

Edmund M. Clarke

This author has not been identified. Look up 'Edmund M. Clarke' in Google

Robert P. Kurshan

This author has not been identified. Look up 'Robert P. Kurshan' in Google