Search alternatives:
"formal method" » "formal methods"
Cover Image
Read Now

1
Published 2019
Springer International Publishing
“... Formal Methods, IFM 2019, held in Bergen, Norway, in December 2019. The 25 full papers and 3 short papers...”
Cover Image
Read Now

2
Published 2022
Springer International Publishing
“... focus: formal methods,in particular applied to software verification...”
Cover Image
Read Now

3
Published 2020
Springer International Publishing
“... and Proofs, TAP 2020, held as part of the 4th World Congress on Formal Methods 2020, Bergen, Norway, in June...”