%0 Conference Paper %1 conf/plilp/KluzniakM94 %A Kluzniak, Feliks %A Milkowska, Miroslawa %B PLILP %D 1994 %E Hermenegildo, Manuel V. %E Penjam, Jaan %I Springer %K dblp %P 449-450 %T Readable, Runnable Requirements Specifications in SPILL-2. %U http://dblp.uni-trier.de/db/conf/plilp/plilp94.html#KluzniakM94 %V 844 %@ 3-540-58402-1

@inproceedings{conf/plilp/KluzniakM94, added-at = {2017-05-19T00:00:00.000+0200}, author = {Kluzniak, Feliks and Milkowska, Miroslawa}, biburl = {https://www.bibsonomy.org/bibtex/22492ff5fd2a5f18c3e336ae2a7cfa572/dblp}, booktitle = {PLILP}, crossref = {conf/plilp/1994}, editor = {Hermenegildo, Manuel V. and Penjam, Jaan}, ee = {https://doi.org/10.1007/3-540-58402-1_32}, interhash = {c0a47294dc37efda00654915ecd1eeeb}, intrahash = {2492ff5fd2a5f18c3e336ae2a7cfa572}, isbn = {3-540-58402-1}, keywords = {dblp}, pages = {449-450}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T13:14:19.000+0200}, title = {Readable, Runnable Requirements Specifications in SPILL-2.}, url = {http://dblp.uni-trier.de/db/conf/plilp/plilp94.html#KluzniakM94}, volume = 844, year = 1994 }