%0 Conference Paper %1 conf/cassis/BouquetLPT04 %A Bouquet, Fabrice %A Legeard, Bruno %A Peureux, Fabien %A Torreborre, Eric %B CASSIS %D 2004 %E Barthe, Gilles %E Burdy, Lilian %E Huisman, Marieke %E Lanet, Jean-Louis %E Muntean, Traian %I Springer %K dblp %P 70-85 %T Mastering Test Generation from Smart Card Software Formal Models. %U http://dblp.uni-trier.de/db/conf/cassis/cassis2004.html#BouquetLPT04 %V 3362 %@ 3-540-24287-2

@inproceedings{conf/cassis/BouquetLPT04, added-at = {2017-05-26T00:00:00.000+0200}, author = {Bouquet, Fabrice and Legeard, Bruno and Peureux, Fabien and Torreborre, Eric}, biburl = {https://www.bibsonomy.org/bibtex/2aa7d51d1f412d1e223dd5310ffa3c806/dblp}, booktitle = {CASSIS}, crossref = {conf/cassis/2004}, editor = {Barthe, Gilles and Burdy, Lilian and Huisman, Marieke and Lanet, Jean-Louis and Muntean, Traian}, ee = {https://doi.org/10.1007/978-3-540-30569-9_4}, interhash = {8b426716fc4d4c7215f227fc8e0097fd}, intrahash = {aa7d51d1f412d1e223dd5310ffa3c806}, isbn = {3-540-24287-2}, keywords = {dblp}, pages = {70-85}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-10T01:38:04.000+0200}, title = {Mastering Test Generation from Smart Card Software Formal Models.}, url = {http://dblp.uni-trier.de/db/conf/cassis/cassis2004.html#BouquetLPT04}, volume = 3362, year = 2004 }