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
Année de publication: 2009
Logic Programming - 25th International Conference, ICLP 2009, Proceedings
Volumen: 5649 LNCS
Pages: 281-295
Type: Communication dans un congrès