%0 Journal Article %1 journals/infsof/BowenBL93 %A Bowen, Jonathan P. %A Breuer, Peter T. %A Lano, Kevin %D 1993 %J Inf. Softw. Technol. %K dblp %N 11-12 %P 679-690 %T Formal specifications in software maintenance: from code to Z++ and back again. %U http://dblp.uni-trier.de/db/journals/infsof/infsof35.html#BowenBL93 %V 35

@article{journals/infsof/BowenBL93, added-at = {2021-10-14T00:00:00.000+0200}, author = {Bowen, Jonathan P. and Breuer, Peter T. and Lano, Kevin}, biburl = {https://www.bibsonomy.org/bibtex/2a7ace2720b3baee3c39a5cd4f628c28c/dblp}, ee = {https://doi.org/10.1016/0950-5849(93)90083-F}, interhash = {c38e2d98ca39fbcec8786b07dba2ddf4}, intrahash = {a7ace2720b3baee3c39a5cd4f628c28c}, journal = {Inf. Softw. Technol.}, keywords = {dblp}, number = {11-12}, pages = {679-690}, timestamp = {2024-04-09T04:47:42.000+0200}, title = {Formal specifications in software maintenance: from code to Z++ and back again.}, url = {http://dblp.uni-trier.de/db/journals/infsof/infsof35.html#BowenBL93}, volume = 35, year = 1993 }