Amitabha Sanyal, Supratim Biswas, Vishv M. Malhotra. Extension of Weakest Precondition Formalism to a Low Level Language. In Kesav V. Nori, editor, Foundations of Software Technology and Theoretical Computer Science, Seventh Conference, Pune, India, December 17-19, 1987, Proceedings. Volume 287 of Lecture Notes in Computer Science, pages 485-499, Springer, 1987.
@inproceedings{SanyalBM87,
title = {Extension of Weakest Precondition Formalism to a Low Level Language},
author = {Amitabha Sanyal and Supratim Biswas and Vishv M. Malhotra},
year = {1987},
researchr = {https://researchr.org/publication/SanyalBM87},
cites = {0},
citedby = {0},
pages = {485-499},
booktitle = {Foundations of Software Technology and Theoretical Computer Science, Seventh Conference, Pune, India, December 17-19, 1987, Proceedings},
editor = {Kesav V. Nori},
volume = {287},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {3-540-18625-5},
}