%0 Conference Paper %1 conf/jisbd/SanchezH01 %A Sánchez, Marisol %A Herrero, José Luis %B JISBD %D 2001 %E Díaz, Oscar %E Illarramendi, Arantza %E Piattini, Mario %K dblp %P 189-204 %T Entorno basado en el uso de técnicas formales para el desarrollo y prueba de sistemas. %U http://dblp.uni-trier.de/db/conf/jisbd/jisbd2001.html#SanchezH01 %@ 84-699-6275-2

@inproceedings{conf/jisbd/SanchezH01, added-at = {2003-12-19T00:00:00.000+0100}, author = {Sánchez, Marisol and Herrero, José Luis}, biburl = {https://www.bibsonomy.org/bibtex/2071129d842449a354e49d6b211a5cf55/dblp}, booktitle = {JISBD}, crossref = {conf/jisbd/2001}, date = {2003-12-19}, description = {dblp}, editor = {Díaz, Oscar and Illarramendi, Arantza and Piattini, Mario}, interhash = {13db60b35a137390cba8278475474bc0}, intrahash = {071129d842449a354e49d6b211a5cf55}, isbn = {84-699-6275-2}, keywords = {dblp}, pages = {189-204}, timestamp = {2003-12-19T00:00:00.000+0100}, title = {Entorno basado en el uso de técnicas formales para el desarrollo y prueba de sistemas.}, url = {http://dblp.uni-trier.de/db/conf/jisbd/jisbd2001.html#SanchezH01}, year = 2001 }