Name: Computer Aided Verification: 7th International Conference, CAV '95, Liege, Belgium, July 3 - 5, 1995. Proceedings (Lecture Notes in Computer Science)
Author: Pierre Wolper
ISBN: 9783540600459

Computer Aided Verification: 7th International Conference, CAV '95, Liege, Belgium, July 3 - 5, 1995. Proceedings (Lecture Notes in Computer Science)

Pierre Wolper

Author Description

Page Count:
451

Publication Date:
1995-07-18

ISBN-10:
3540600450

ISBN-13:
9783540600459

Community Tags

Reader Comments

Share Your Thoughts

No comments yet. Be the first to share your thoughts!