Runtime Verification
| Other Authors: | Qadeer |
|---|---|
| Format: | Electronic eBook |
| Language: | English |
| Published: |
Springer Berlin Heidelberg,
2013
|
| Edition: | 1 |
| Subjects: | |
| Online Access: | Full text available on Springer Off-campus access |
Similar Items
-
Runtime Verification
Published: (2013) - Proceedings of the 6th International Workshop on Verification and Monitoring at Runtime Execution
- Proceedings of the 5th ACM International Workshop on Verification and mOnitoring at Runtime EXecution
- [email protected] (RE@RunTime), International Workshop on
- 2010 First International Workshop on [email protected]