Barringer, Howard.
Overview
| Works: | 8 works in 0 publications in 0 languages | |
|---|---|---|
Titles
Runtime verificationFirst International Conference, RV 2010, St. Julians, Malta, November 1-4, 2010, proceedings /
by:
(1998 :); Barringer, Howard.; SpringerLink (Online service)
(Electronic resources)