%0 Conference Paper %1 conf/jisbd/MorilloV01 %A Morillo, Francisco José Galán %A Valdeón, José Miguel Cañete %B JISBD %D 2001 %E Díaz, Oscar %E Illarramendi, Arantza %E Piattini, Mario %K dblp %P 361-374 %T Towards Rigorous and Effective Type Contracts. %U http://dblp.uni-trier.de/db/conf/jisbd/jisbd2001.html#MorilloV01 %@ 84-699-6275-2

@inproceedings{conf/jisbd/MorilloV01, added-at = {2003-12-19T00:00:00.000+0100}, author = {Morillo, Francisco José Galán and Valdeón, José Miguel Cañete}, biburl = {https://www.bibsonomy.org/bibtex/292fd10494b550aaaf5c1dcacec8420ee/dblp}, booktitle = {JISBD}, crossref = {conf/jisbd/2001}, date = {2003-12-19}, description = {dblp}, editor = {Díaz, Oscar and Illarramendi, Arantza and Piattini, Mario}, interhash = {524ea31f228364b23756c081f75b49de}, intrahash = {92fd10494b550aaaf5c1dcacec8420ee}, isbn = {84-699-6275-2}, keywords = {dblp}, pages = {361-374}, timestamp = {2003-12-19T00:00:00.000+0100}, title = {Towards Rigorous and Effective Type Contracts.}, url = {http://dblp.uni-trier.de/db/conf/jisbd/jisbd2001.html#MorilloV01}, year = 2001 }