Items where Author is "Bui, Duy Dang"
Group by: Item Type | No Grouping Jump to: Conference or Workshop Item Number of items: 1. Conference or Workshop ItemTran, 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. |
