by CAV (Conference) (2nd 1990 New Brunswick, N.J.)
"This volume contains the proceedings of the second workshop on Computer Aided Verification, held at DIMACS, Rutgers University, June 18-21, 1990. Itfeatures theoretical results that lead to new or…