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
Argitalpen urtea: 2009
Logic Programming - 25th International Conference, ICLP 2009, Proceedings
Alea: 5649 LNCS
Orrialdeak: 281-295
Mota: Biltzar ekarpena