Integrating software testing and run-time checking in an assertion verification framework
- Mera, E.
- Lopez-García, P.
- Hermenegildo, M.
ISSN: 0302-9743, 1611-3349
ISBN: 9783642028458
Any de publicació: 2009
Logic Programming - 25th International Conference, ICLP 2009, Proceedings
Volum: 5649 LNCS
Pàgines: 281-295
Tipus: Aportació congrés