Cover Image
Read Now

2
Published 1982
Springer Berlin Heidelberg
Cover Image
Read Now

3
Published 2015
CRC Press
Cover Image
Read Now

5
by Oakley, Jacob G.
Published 2022
Apress L.P.
Cover Image
Read Now

9
Published 2001
Springer Berlin Heidelberg
“..., and, most recently, New York. FSE 2000 was the 7th international workshop, held in the United States...”
Cover Image
Read Now

11
Published 2015
Springer International Publishing
“... Engineering and Formal Methods, SEFM 2015, held in York, UK, in September 2015. The 17 full papers presented...”
Cover Image
Read Now

12
Published 1999
Springer London
“... at the First International Workshop on Integrated Formal Methods, held at the University of York in June 1999...”
Cover Image
Read Now

14
Published 2014
Springer International Publishing
“... and Proofs, TAP 2014, held in York, UK, in July 2014, as part of the STAF 2014 Federated Conferences. The 10...”
Cover Image
Read Now

16
Published 2019
Springer International Publishing
“..., ISC 2019, held in New York City, NY, USA, in September 2019. The 23 full papers presented...”
Cover Image
Read Now

17
Published 2015
Springer International Publishing
“... Workshop on Radio Frequency Identification held in New York, USA, in June 2015. The 10 revised full papers...”
Cover Image
Read Now

18
Published 2014
Springer International Publishing
“... and Applications, ECMFA 2014, held as part of STAF 2014, in York, UK, in July 2014. The 14 foundation track papers...”
Cover Image
Read Now

20
Published 2019
Springer International Publishing
“...st International Conference on Computer Aided Verification, CAV 2019, held in New York City, USA...”