Cover Image
Read Now

1
Published 2020
Springer International Publishing
Table of Contents: “...AFFORD 2019: Third Workshop on Practical Formal Verification for Software Dependability -- DataMod...”
Cover Image
Read Now

2
Published 2020
Springer International Publishing
“... the papers that have been accepted for the following workshops: Third Workshop on Practical Formal...”
Cover Image
Read Now

3
Published 2006
Springer Berlin Heidelberg
Table of Contents: “... -- Formal Verification of a C Compiler Front-End -- A Memory Model Sensitive Checker for C# -- Changing...”