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