Abstraction in Deductive Verification: Model Fields and Model Methods

Λεπτομέρειες βιβλιογραφικής εγγραφής
Τίτλος:	Abstraction in Deductive Verification: Model Fields and Model Methods
Συγγραφείς:	Cok, David R.^Aff9, Leavens, Gary T.^Aff10
Συνεισφορές:	Goos, Gerhard, Founding Editor^Aff1, Hartmanis, Juris, Founding Editor^Aff2, Bertino, Elisa, Editorial Board Member^Aff3, Gao, Wen, Editorial Board Member^Aff4, Steffen, Bernhard, Editorial Board Member^{Aff5, Aff8}, Yung, Moti, Editorial Board Member^Aff6, Margaria, Tiziana, editor^Aff7
Πηγή:	Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles : 11th International Symposium, ISoLA 2022, Rhodes, Greece, October 22–30, 2022, Proceedings, Part I. 13701:29-44
Βάση Δεδομένων:	Springer Nature eBooks

καταχωρήστε σχόλιο πρώτοι!