Duong Dinh Tran, Dang Duy Bui, Parth Gupta, Kazuhiro Ogata 0001. Lemma Weakening for State Machine Invariant Proofs. In 27th Asia-Pacific Software Engineering Conference, APSEC 2020, Singapore, December 1-4, 2020. pages 21-30, IEEE, 2020. [doi]
@inproceedings{TranBG020,
title = {Lemma Weakening for State Machine Invariant Proofs},
author = {Duong Dinh Tran and Dang Duy Bui and Parth Gupta and Kazuhiro Ogata 0001},
year = {2020},
doi = {10.1109/APSEC51365.2020.00010},
url = {https://doi.org/10.1109/APSEC51365.2020.00010},
researchr = {https://researchr.org/publication/TranBG020},
cites = {0},
citedby = {0},
pages = {21-30},
booktitle = {27th Asia-Pacific Software Engineering Conference, APSEC 2020, Singapore, December 1-4, 2020},
publisher = {IEEE},
isbn = {978-1-7281-9553-7},
}