%0 Conference Paper %1 conf/amast/NavarroOS93 %A Navarro, Marisa %A Orejas, Fernando %A Sánchez, Ana %B AMAST %D 1993 %E Nivat, Maurice %E Rattray, Charles %E Rus, Teodor %E Scollo, Giuseppe %I Springer %K dblp %P 209-216 %T On the Correctness of Modular Systems. %U http://dblp.uni-trier.de/db/conf/amast/amast93.html#NavarroOS93 %@ 3-540-19852-0

@inproceedings{conf/amast/NavarroOS93, added-at = {2003-02-18T00:00:00.000+0100}, author = {Navarro, Marisa and Orejas, Fernando and Sánchez, Ana}, biburl = {https://www.bibsonomy.org/bibtex/2cb0ed089c300475314504c20e79f2197/dblp}, booktitle = {AMAST}, crossref = {conf/amast/1993}, date = {2003-02-18}, description = {dblp}, editor = {Nivat, Maurice and Rattray, Charles and Rus, Teodor and Scollo, Giuseppe}, interhash = {c1dfb4a8fa8c68c6712392574ee4ba2e}, intrahash = {cb0ed089c300475314504c20e79f2197}, isbn = {3-540-19852-0}, keywords = {dblp}, pages = {209-216}, publisher = {Springer}, series = {Workshops in Computing}, timestamp = {2003-02-18T00:00:00.000+0100}, title = {On the Correctness of Modular Systems.}, url = {http://dblp.uni-trier.de/db/conf/amast/amast93.html#NavarroOS93}, year = 1993 }