%0 Journal Article %1 journals/jucs/Heitmeyer07 %A Heitmeyer, Constance L. %D 2007 %J J. Univers. Comput. Sci. %K dblp %N 5 %P 607-618 %T Formal Methods for Specifying, Validating, and Verifying Requirements. %U http://dblp.uni-trier.de/db/journals/jucs/jucs13.html#Heitmeyer07 %V 13

@article{journals/jucs/Heitmeyer07, added-at = {2023-09-07T00:00:00.000+0200}, author = {Heitmeyer, Constance L.}, biburl = {https://www.bibsonomy.org/bibtex/20c4dbdacbafbd2ca5ea1f38a1eff8335/dblp}, ee = {https://doi.org/10.3217/jucs-013-05-0607}, interhash = {a38ffe518c89deaf992e669fbdc15af8}, intrahash = {0c4dbdacbafbd2ca5ea1f38a1eff8335}, journal = {J. Univers. Comput. Sci.}, keywords = {dblp}, number = 5, pages = {607-618}, timestamp = {2024-04-08T15:56:36.000+0200}, title = {Formal Methods for Specifying, Validating, and Verifying Requirements.}, url = {http://dblp.uni-trier.de/db/journals/jucs/jucs13.html#Heitmeyer07}, volume = 13, year = 2007 }