| era | |
|---|---|
| format | Book |
| genre | |
| geographic | |
| id | 83444cf9-e3df-4b98-8100-41335a545839 |
| isbn | 9783540773948 3540773940 |
| issn | |
| language | eng |
| physical | viii, 213 pages :illustrations ;24 cm. |
| publication | – publisher: Springer dateOfPublication: 2007 |
| publishDate | 2007 |
| subjects | |
| title | Runtime verification : 7th international workshop, RV 2007, Vanco[u]ver, Canada, March 13, 2007 : revised selected papers / Oleg Sokolsky, Serdar Taşiran (eds.). |
| topic | Formal methods (Computer science) Computer software Computer software Aspect-oriented programming. Conference papers and proceedings. |