|
@inproceedings{SD97, author = {Daniel Schweizer and Christoph Denzler}, title = {Verifying the Specification-to-Code Correspondence for Abstract Data Types}, booktitle = {DCCA-6 Sixth IFIP International Working Conference on Dependable Computing}, month = {Mar}, year = {1997} }