Saraswati Kalvala. Annotations in Formal Specifications and Proofs. Formal Methods in System Design, 5(1/2):119-144, 1994.
@article{Kalvala94,
title = {Annotations in Formal Specifications and Proofs},
author = {Saraswati Kalvala},
year = {1994},
researchr = {https://researchr.org/publication/Kalvala94},
cites = {0},
citedby = {0},
journal = {Formal Methods in System Design},
volume = {5},
number = {1/2},
pages = {119-144},
}