@inproceedings{JJG+03,
title = { Automatic State Reaching for Debugging Reactive Programs },
author = {Jahier, Erwan and Jeannet, Bertrand and Gaucher, Fabien and Maraninchi, Florence},
month = {sep},
year = {2003},
booktitle = {AADEBUG'2003 -- Fifth International Workshop on Automated Debugging},
address = {Ghent},
team = {SYNC},
}
bibtex
Contact |
Plan du site |
Site réalisé avec SPIP 4.4.13 +
AHUNTSIC
[CC License]
info visites 6008822
|
|
|