%0 Journal Article %1 journals/tse/Kemmerer85 %A Kemmerer, Richard A. %D 1985 %J IEEE Trans. Software Eng. %K dblp %N 1 %P 32-43 %T Testing Formal Specifications to Detect Design Errors. %U http://dblp.uni-trier.de/db/journals/tse/tse11.html#Kemmerer85 %V 11

@article{journals/tse/Kemmerer85, added-at = {2015-12-10T00:00:00.000+0100}, author = {Kemmerer, Richard A.}, biburl = {https://www.bibsonomy.org/bibtex/2c36ff010e2f75f26d49360aded9752d4/dblp}, ee = {http://doi.ieeecomputersociety.org/10.1109/TSE.1985.231535}, interhash = {82ef27583eb83aa415db12e2b5116778}, intrahash = {c36ff010e2f75f26d49360aded9752d4}, journal = {IEEE Trans. Software Eng.}, keywords = {dblp}, number = 1, pages = {32-43}, timestamp = {2015-12-12T11:51:54.000+0100}, title = {Testing Formal Specifications to Detect Design Errors.}, url = {http://dblp.uni-trier.de/db/journals/tse/tse11.html#Kemmerer85}, volume = 11, year = 1985 }