Number of items: 1.
Conference or workshop item
|
Kalibera, Tomas and Parizek, Pavel and Haddad, Ghaith and Leavens, Gary T. and Vitek, Jan
(2010)
Challenge benchmarks for verification of real-time programs.
In: Proceedings of the 4th ACM SIGPLAN workshop on Programming languages meets program verification (PLPV).
(The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)
|
|
This list was generated on Mon Mar 2 01:19:03 2015 GMT.
