eBook
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 EditorAff1, Hartmanis, Juris, Founding EditorAff2, Bertino, Elisa, Editorial Board MemberAff3, Gao, Wen, Editorial Board MemberAff4, Steffen, Bernhard, Editorial Board MemberAff5, Aff8, Yung, Moti, Editorial Board MemberAff6, Margaria, Tiziana, editorAff7 |
| Πηγή: | 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 |
| ISBN: | 9783031198489 9783031198496 |
|---|---|
| DOI: | 10.1007/978-3-031-19849-6_3 |