%0 Conference Paper %1 conf/iclp/Komorowski91 %A Komorowski, Henryk Jan %B ICLP Workshop on Construction of Logic Programs %D 1991 %E Jacquet, Jean-Marie %I Wiley %K dblp %P 97-112 %T On Data-type-centered, Correctness-oriented Design. %U http://dblp.uni-trier.de/db/conf/iclp/iclp91-w1.html#Komorowski91 %@ 0-471-93789-4

@inproceedings{conf/iclp/Komorowski91, added-at = {2013-12-02T00:00:00.000+0100}, author = {Komorowski, Henryk Jan}, biburl = {https://www.bibsonomy.org/bibtex/26f5bd6f67003094ed26daffb048104fa/dblp}, booktitle = {ICLP Workshop on Construction of Logic Programs}, crossref = {conf/iclp/1991w1}, editor = {Jacquet, Jean-Marie}, interhash = {62b6209c1b1d76341c993c5be9a9fe66}, intrahash = {6f5bd6f67003094ed26daffb048104fa}, isbn = {0-471-93789-4}, keywords = {dblp}, pages = {97-112}, publisher = {Wiley}, timestamp = {2013-12-03T11:35:12.000+0100}, title = {On Data-type-centered, Correctness-oriented Design.}, url = {http://dblp.uni-trier.de/db/conf/iclp/iclp91-w1.html#Komorowski91}, year = 1991 }