Abstraction in Deductive Verification: Model Fields and Model Methods

Bibliographic Details
Title:	Abstraction in Deductive Verification: Model Fields and Model Methods
Authors:	Cok, David R.^Aff9, Leavens, Gary T.^Aff10
Contributors:	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
Source:	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
Database:	Springer Nature eBooks

Be the first to leave a comment!