%0 Conference Paper %1 conf/iclp/KluzniakM94 %A Kluzniak, Feliks %A Milkowska, Miroslawa %B ICLP Workshop: Applications of Logic Programming to Software Engineering %D 1994 %E Ciancarini, Paolo %E Sterling, Leon %K dblp %T Executable requirements Specifications in a Logic Specification Language SPILL-2. %U http://dblp.uni-trier.de/db/conf/iclp/iclp94-w7.html#KluzniakM94

@inproceedings{conf/iclp/KluzniakM94, added-at = {2013-12-02T00:00:00.000+0100}, author = {Kluzniak, Feliks and Milkowska, Miroslawa}, biburl = {https://www.bibsonomy.org/bibtex/2c16abece84d5ff280c8e944fa7e43478/dblp}, booktitle = {ICLP Workshop: Applications of Logic Programming to Software Engineering}, crossref = {conf/iclp/1994w7}, editor = {Ciancarini, Paolo and Sterling, Leon}, interhash = {98aee22a8f5e585ab2873f3beac04c7e}, intrahash = {c16abece84d5ff280c8e944fa7e43478}, keywords = {dblp}, timestamp = {2013-12-03T11:34:45.000+0100}, title = {Executable requirements Specifications in a Logic Specification Language SPILL-2.}, url = {http://dblp.uni-trier.de/db/conf/iclp/iclp94-w7.html#KluzniakM94}, year = 1994 }