2017

Critical systems : formal methods and automated verification : Joint 22nd International Workshop on Formal Methods for Industrial Critical Systems and 17th International Workshop on Automated Verifica

International Workshop on Formal Methods for Industrial Critical Systems (22nd : 2017 : Turin, Italy), jointly held conference
Cham, Switzerland : Springer, 2017

 

2009

FM 2009 : formal methods : second world congress, Eindhoven, the Netherlands, November 2-6, 2009 : proceedings

International Symposium of Formal Methods Europe (16th : 2009 : Eindhoven, Netherlands)
Berlin ; New York : Springer, [2009]

 

2009

Formal methods and software engineering : 11th International Conference on Formal Engineering Methods, ICFEM 2009, Rio de Janeiro, Brazil, December 9-12, 2009 ; proceedings

International Conference on Formal Engineering Methods (11th : 2009 : Rio de Janeiro, Brazil)
Berlin : Springer, [2009]

 

2006

Refinement techniques in software engineering : First Pernambuco Summer School on Software Engineering, PSSE 2004, Recife, Brazil, November 23-December 5, 2004 : revised lectures

Pernambuco Summer School on Software Engineering (1st : 2004 : Recife, Brazil)
Berlin ; New York : Springer, [2006]

 

2006

Theoretical aspects of computing : ICTAC 2006, third international colloquium, Tunis, Tunisia, November 20-24, 2006 : proceedings

ICTAC (Colloquium) (3rd : 2006 : Tunis, Tunisia)
Berlin ; New York : Springer, [2006]

 

2010

Theoretical aspects of computing--ICTAC 2010 : 7th international colloquium, Natal, Rio Grande do Norte, Brazil, September 1-3, 2010 : proceedings

ICTAC (Colloquium) (7th : 2010 : Natal, Brazil)
Berlin : Springer, 2010