Ball, Thomas.
Overview
| Works: | 2 works in 0 publications in 0 languages | |
|---|---|---|
Titles
Computer Aided Verification (vol. # 4144)18th International Conference, CAV 2006, Seattle, WA, USA, August 17-20, 2006, Proceedings /
by:
(1998 :); Ball, Thomas.; Jones, Robert B.; SpringerLink (Online service)
(Electronic resources)