%0 Journal Article %1 journals/cse/Hinsen15 %A Hinsen, Konrad %D 2015 %J Comput. Sci. Eng. %K dblp %N 3 %P 54-61 %T Writing Software Specifications. %U http://dblp.uni-trier.de/db/journals/cse/cse17.html#Hinsen15 %V 17

@article{journals/cse/Hinsen15, added-at = {2020-03-12T00:00:00.000+0100}, author = {Hinsen, Konrad}, biburl = {https://www.bibsonomy.org/bibtex/28a1196f1108e165bb76cdcb1be2fc27e/dblp}, ee = {https://www.wikidata.org/entity/Q58008794}, interhash = {65dcb7f7d098e4de5ae957aa4c0af539}, intrahash = {8a1196f1108e165bb76cdcb1be2fc27e}, journal = {Comput. Sci. Eng.}, keywords = {dblp}, number = 3, pages = {54-61}, timestamp = {2020-03-13T11:57:19.000+0100}, title = {Writing Software Specifications.}, url = {http://dblp.uni-trier.de/db/journals/cse/cse17.html#Hinsen15}, volume = 17, year = 2015 }