%0 Journal Article %1 journals/iee/KimFF99 %A Finney, Kate %A Fenton, Norman E. %A Fedorec, Alexander M. %D 1999 %J IEE Proc. Softw. %K dblp %N 4 %P 193-202 %T Effects of structure on the comprehensivility of formal specifications. %U http://dblp.uni-trier.de/db/journals/iee/iee-s146.html#KimFF99 %V 146

@article{journals/iee/KimFF99, added-at = {2020-05-19T00:00:00.000+0200}, author = {Finney, Kate and Fenton, Norman E. and Fedorec, Alexander M.}, biburl = {https://www.bibsonomy.org/bibtex/230188b877c59b08bc7c4ec3e097efeae/dblp}, ee = {https://doi.org/10.1049/ip-sen:19990600}, interhash = {102387945b60ea96f3ae19269df5368b}, intrahash = {30188b877c59b08bc7c4ec3e097efeae}, journal = {IEE Proc. Softw.}, keywords = {dblp}, number = 4, pages = {193-202}, timestamp = {2020-05-20T11:38:36.000+0200}, title = {Effects of structure on the comprehensivility of formal specifications.}, url = {http://dblp.uni-trier.de/db/journals/iee/iee-s146.html#KimFF99}, volume = 146, year = 1999 }