Computer Aided Verification: 5th International Conference, Cav '93 Eloybdam Greece, June 28-July 1, 1993 Proceedings (Lecture Notes in Computer Science)

Courcoubetis

by Costas Courcoubetis

Paperback

ISBN: 978-0-387-56922-2

ISBN-10: 0-387-56922-7

Springer Verlag · 1993