von Duy M. H. Nguyen ; An Thai Le ; Trung Q. Nguyen ; Nghiem T. Diep ; Tai Nguyen ; Duy Duong-Tran ; Jan Peters ; Li Shen ; Mathias Niepert ; Daniel Sonntag
The Practice of Formal Methods 1st ed. 2024. Cham : Springer Nature Switzerland, 2024 (2024), Seite 88-108 1 Online-Ressource(XXVIII, 316 p. 74 illus., 45 illus. in color.)