Computer-Aided Verification '90: Proceedings of a Dimacs Workshop June 18-21, 1990 (Dimacs Series in Discrete Mathematics and Theoretical Computer S)

by: Dimacs Workshop on Computer-Aided Verification · E. M. Clarke

Hardcover

ISBN: 978-0-8218-6594-1

ISBN-10: 0-8218-6594-3

Amer Mathematical Society · 1991