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
Año de publicación: 2009
Logic Programming - 25th International Conference, ICLP 2009, Proceedings
Volumen: 5649 LNCS
Páginas: 281-295
Tipo: Aportación congreso