%0 Journal Article %1 journals/scp/KluzniakM97 %A Kluzniak, Feliks %A Milkowska, Miroslawa %D 1997 %J Sci. Comput. Program. %K dblp %N 2-3 %P 193-223 %T Spill - A Logic Language for Writing Testable Requirements Specifications. %U http://dblp.uni-trier.de/db/journals/scp/scp28.html#KluzniakM97 %V 28

@article{journals/scp/KluzniakM97, added-at = {2021-02-17T00:00:00.000+0100}, author = {Kluzniak, Feliks and Milkowska, Miroslawa}, biburl = {https://www.bibsonomy.org/bibtex/2ea88b371210d9e1105ad13ab7f4548c8/dblp}, ee = {https://doi.org/10.1016/S0167-6423(96)00021-4}, interhash = {16e3b2814209e6c9840164260065a56d}, intrahash = {ea88b371210d9e1105ad13ab7f4548c8}, journal = {Sci. Comput. Program.}, keywords = {dblp}, number = {2-3}, pages = {193-223}, timestamp = {2024-04-09T05:29:34.000+0200}, title = {Spill - A Logic Language for Writing Testable Requirements Specifications.}, url = {http://dblp.uni-trier.de/db/journals/scp/scp28.html#KluzniakM97}, volume = 28, year = 1997 }