Limit search to available items
Add Marked to Bag Add All On Page Add Marked to My Lists
Authors (Last name first) (1-6 of 6)
Cavalcanti, Ana,
1
E-book
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

Rating:

 
 
2
E-book
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]

Rating:

 
 
3
E-book
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]

Rating:

 
 
4
E-book
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]

Rating:

 
 
5
E-book
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]

Rating:

 
 
Add Marked to Bag Add All On Page
Locate in results