|
Formal methods (Computer science) -- Congresses
|
2012
ABZ (Conference) (3rd : 2012 : Pisa, Italy)
Rating:
|
2014
ABZ (Conference) (4th : 2014 : Toulouse, France)
Cham : Springer, 2014
Rating:
|
1996
London : Imperial Collge Press, [1996]
Rating:
Request It
|
2009
CAI 2009 (2009 : Thessalonikē, Greece)
Rating:
|
2010
Joint Workshop on Automated Reasoning for Security Protocol Analysis and Issues in the Theory of Security (2010 : Paphos, Cyprus)
Rating:
|
|
2012
CPP 2012 (2012 : Kyoto, Japan)
Rating:
|
2013
CPP (Conference) (3rd : 2013 : Melbourne, Vic.)
Cham : Springer, 2013
Rating:
|
2008
EPEW (Workshop) (5th : 2008 : Palma de Mallorca, Spain)
Rating:
|
2009
EPEW (Workshop) (6th : 2009 : London, England)
Rating:
|
2010
EPEW (Workshop) (7th : 2010 : Bertinoro, Italy)
Rating:
|
2011
EPEW (Workshop) (8th : 2011 : Keswick, Cumbria, England)
Rating:
|
2013
EPEW (Workshop) (9th : 2012 : Munich, Germany)
Rating:
|
2013
EPEW (Workshop) (10th : 2013 : Venice, Italy)
Heidelberg : Springer, [2013]
Rating:
|
2014
EPEW (Workshop) (11th : 2014 : Florence, Italy)
Cham : Springer, 2014
Rating:
|
2015
EPEW (Workshop) (12th : 2015 : Madrid, Spain)
Cham : Springer, 2015
Rating:
|
2016
EPEW (Workshop) (13th : 2016 : Chios, Greece)
Cham, Switzerland : Springer, 2016
Rating:
|
2012
SAFECOMP 2012 (2012 : Magdeburg, Germany)
Rating:
|
2015
Cham : Springer, 2015
Rating:
|
2016
International Workshop on Formal Methods for Industrial Critical Systems (21st : 2016 : Pisa, Italy)
Cham : Springer, 2016
Rating:
|
2017
International Workshop on Formal Methods for Industrial Critical Systems (22nd : 2017 : Turin, Italy), jointly held conference.
Cham, Switzerland : Springer, 2017
Rating:
|
2020
SETTA (Symposium) (6th : 2020 : Guangzhou, China)
Cham, Switzerland : Springer, [2020]
Rating:
|
2021
SETTA (Symposium) (7th : 2021 : Beijing, China)
Cham, Switzerland : Springer, 2021
Rating:
|
2022
SETTA (Symposium) (8th : 2022 : Beijing, China)
Cham : Springer, [2022]
Rating:
|
2024
SETTA (Symposium) (9th : 2023 : Nanjing, China)
Singapore : Springer, [2024]
Rating:
|
2011
DCFS (Workshop) (13th : 2011 : Giessen, Germany; Limburg, Germany)
Rating:
|
2012
DCFS (Workshop) (14th : 2012 : Braga, Portugal)
Rating:
|
2013
DCFS (Workshop) (15th : 2013 : London, Ont.)
Heidelberg : Springer, [2013]
Rating:
|
2014
DCFS (Workshop) (16th : 2014 : Turku, Finland)
Cham : Springer, 2014
Rating:
|
2015
DCFS (Workshop) (17th : 2015 : Waterloo, Ont.)
Cham : Springer, 2015
Rating:
|
2016
DCFS (Workshop) (18th : 2016 : Bucharest, Romania)
Switzerland : Springer, [2016]
Rating:
|
2017
DCFS (Workshop) (19th : 2017 : Milan, Italy)
Cham, Switzerland : Springer, 2017
Rating:
|
2018
DCFS (Workshop) (20th : 2018 : Halifax, N.S.)
Cham, Switzerland : Springer, 2018
Rating:
|
2019
DCFS (Workshop) (21st : 2019 : Košice, Slovakia.)
Cham, Switzerland : Springer, 2019
Rating:
|
2020
DCFS (Workshop) (22nd : 2020)
Cham, Switzerland : Springer, [2020]
Rating:
|
2021
DCFS (Workshop) (23rd : 2021 : Online)
Cham, Switzerland : Springer, 2021
Rating:
|
2022
DCFS (Workshop) (24th : 2022 : Debrecen, Hungary)
Cham, Switzerland : Springer, 2022
Rating:
|
2023
DCFS (Workshop) (25th : 2023 : Potsdam, Germany)
Cham : Springer, [2023]
Rating:
|
2010
FSMNLP 2009 (2009 : Pretoria, South Africa)
Rating:
|
2005
International Symposium of Formal Methods Europe (13th : 2005 : Newcastle upon Tyne, England)
Rating:
|
2006
International Symposium of Formal Methods Europe (14th : 2006 : Hamilton, Ont.)
Rating:
|
2008
International Symposium of Formal Methods Europe (15th : 2008 : Turku, Finland)
Rating:
|
2009
International Symposium of Formal Methods Europe (16th : 2009 : Eindhoven, Netherlands)
Rating:
|
2011
International Symposium of Formal Methods Europe (17th : 2011 : Limerick, Limerick, Ireland)
Rating:
|
2012
International Symposium of Formal Methods Europe (18th : 2012 : Paris, France)
Rating:
|
2014
International Symposium of Formal Methods Europe (19th : 2014 : Singapore)
Cham : Springer, 2014
Rating:
|
2015
International Symposium of Formal Methods Europe (20th : 2015 : Oslo, Norway)
Cham : Springer, 2015
Rating:
|
2016
International Symposium of Formal Methods Europe (21st : 2016 : Limassol, Cyprus)
Cham, Switzerland : Springer, 2016
Rating:
|
2005
FATES 2004 (2004 : Linz, Austria)
First edition
New York, NY ; [Great Britain] : Springer, 2005
Rating:
Request It
|
2005
FATES 2004 (2004 : Linz, Austria)
Rating:
|
Add Marked to Bag
Add All On Page
|
|