Cover Image
Read Now

1
Published 2004
Springer Berlin Heidelberg
Table of Contents: “...Invited Talks -- SLAM and Static Driver Verifier: Technology Transfer of Formal Methods inside...”
Cover Image
Read Now

3
Published 2012
Springer Berlin Heidelberg
“... Formal Methods, IFM 2012, held Pisa, Italy, in June 2012. The 20 revised full papers presented together...”
Cover Image
Read Now

4
Published 1997
Springer US
“... programming, open distributed systems and formal methods for object oriented systems. With increased support...”
Cover Image
Read Now

5
by Derrick, John, Boiten, Eerke
Published 2018
Springer International Publishing
“... is defined and used within some of the major formal methods and languages in use today. It (1) introduces...”
Cover Image
Read Now

6
Published 2012
Springer Berlin Heidelberg
“...-based formal methods: Abstract State Machines (ASM), Alloy, B, VDM, and Z. They share a common...”
Cover Image
Read Now

7
by Derrick, John, Boiten, Eerke A.
Published 2001
Springer London
“..., lecturers teaching formal specification and development, industrial practitioners using formal methods...”
Cover Image
Read Now

8
by Derrick, John, Boiten, Eerke A.
Published 2014
Springer London
“... specification and development, industrial practitioners using formal methods in their work, and postgraduate...”
Cover Image
Read Now

9
Published 2007
Springer Berlin Heidelberg
“... of the art in theory, application, tools, and industrialization of formal methods. Over the years, FORTE has...”