Gerald C. Gannod, Betty H. C. Cheng
Strongest Postcondition Semantics as the Formal Basis for Reverse Engineering
WCRE, 1995.
@inproceedings{WCRE-1995-GannodC,
author = "Gerald C. Gannod and Betty H. C. Cheng",
booktitle = "{Proceedings of the Second Working Conference on Reverse Engineering}",
isbn = "0-8186-7111-4",
pages = "0--None",
publisher = "{IEEE Computer Society}",
title = "{Strongest Postcondition Semantics as the Formal Basis for Reverse Engineering}",
year = 1995,
}