%0 Conference Paper %1 conf/icse/RedondoA01 %A Redondo, Rebeca P. Díaz %A Pazos-Arias, José Juan %B ICSE %D 2001 %E Müller, Hausi A. %E Harrold, Mary Jean %E Schäfer, Wilhelm %I IEEE Computer Society %K dblp %P 801-802 %T Reuse of Verificatino Efforts and Incomplete Specifications in a Formalized, Iterative and Incremental Software Process. %U http://dblp.uni-trier.de/db/conf/icse/icse2001.html#RedondoA01 %@ 0-7695-1050-7

@inproceedings{conf/icse/RedondoA01, added-at = {2016-09-05T00:00:00.000+0200}, author = {Redondo, Rebeca P. Díaz and Pazos-Arias, José Juan}, biburl = {https://www.bibsonomy.org/bibtex/23d5fbb88e2cf5710c5a65fd124957fb0/dblp}, booktitle = {ICSE}, crossref = {conf/icse/2001}, editor = {Müller, Hausi A. and Harrold, Mary Jean and Schäfer, Wilhelm}, ee = {http://doi.ieeecomputersociety.org/10.1109/ICSE.2001.919185}, interhash = {df98b58137274848dded2a2948b026f8}, intrahash = {3d5fbb88e2cf5710c5a65fd124957fb0}, isbn = {0-7695-1050-7}, keywords = {dblp}, pages = {801-802}, publisher = {IEEE Computer Society}, timestamp = {2016-09-06T11:35:39.000+0200}, title = {Reuse of Verificatino Efforts and Incomplete Specifications in a Formalized, Iterative and Incremental Software Process.}, url = {http://dblp.uni-trier.de/db/conf/icse/icse2001.html#RedondoA01}, year = 2001 }