%0 Journal Article %1 journals/ase/GannodC96 %A Gannod, Gerald C. %A Cheng, Betty H. C. %D 1996 %J Autom. Softw. Eng. %K dblp %N 1/2 %P 139-164 %T Strongest Postcondition Semantics as the Formal Basis for Reverse Engineering. %U http://dblp.uni-trier.de/db/journals/ase/ase3.html#GannodC96 %V 3

@article{journals/ase/GannodC96, added-at = {2021-10-14T00:00:00.000+0200}, author = {Gannod, Gerald C. and Cheng, Betty H. C.}, biburl = {https://www.bibsonomy.org/bibtex/2c3a192f07a9a936e204feabd4b073ab5/dblp}, ee = {https://doi.org/10.1007/BF00126962}, interhash = {67fa8d12c5cf754fce53a3b238cf43bb}, intrahash = {c3a192f07a9a936e204feabd4b073ab5}, journal = {Autom. Softw. Eng.}, keywords = {dblp}, number = {1/2}, pages = {139-164}, timestamp = {2024-04-08T16:47:35.000+0200}, title = {Strongest Postcondition Semantics as the Formal Basis for Reverse Engineering.}, url = {http://dblp.uni-trier.de/db/journals/ase/ase3.html#GannodC96}, volume = 3, year = 1996 }