Options
Generating Inductive Shape Predicates for Runtime Checking and Formal Verification
Boockmann, Jan; Lüttgen, Gerald; Mühlberg, Jan Tobias (2018): „Generating Inductive Shape Predicates for Runtime Checking and Formal Verification“. Cham: Springer International Publishing doi: 10.1007/978-3-030-03421-4_5.
Faculty/Professorship:
Author:
Title of the compilation:
Leveraging Applications of Formal Methods, Verification and Validation. Verification : 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part II
Editors:
Conference:
8th International Symposium, ISoLA 2018, November 5-9, 2018 ; Limassol, Cyprus
Publisher Information:
Year of publication:
2018
Pages:
ISBN:
978-3-030-03420-7
Language:
English
Type:
Conferenceobject
published:
July 26, 2021
Permalink
https://fis.uni-bamberg.de/handle/uniba/50362