Amer Mathematical Society · Springer
| title | ISBN-13 (ISBN-10) | year of publica- tion | other author(s) |
|---|---|---|---|
| Computer-Aided Verification: 2nd International Conference, Cav '90 New Brunswick, Nj, Usa, June 18-21, 1990 Proceedings | 978-0-387-54477-9 (0-387-54477-1) | 1991 | |
| Computer-Aided Verification '90: Proceedings of a Dimacs Workshop June 18-21, 1990 | 978-0-8218-6594-1 (0-8218-6594-3) | 1991 | Dimacs Workshop on Computer-Aided Verification |
D. E. Martin Clarke · E C. · E. Clarke · E.M. · Edmund M. Clarke · Edmund M. Clarke Jr. · Eva Marie Clarke · Loren E., M.D. Clarke · M.C. · M. Clarke · Susan E. M. Clarke