Tran, Dinh Duong and Ogata, Kazuhiro and Bui, Duy Dang and Gupta, Parth  (2020) Lemma Weakening for State Machine Invariant Proofs.  In: THE 27TH ASIA-PACIFIC SOFTWARE ENGINEERING CONFERENCE.