1
FM 2011: Formal Methods [E-Book] : 17th International Symposium on Formal Methods, Limerick, Ireland, June 20-24, 2011. Proceedings /
Other Personal Name(s): “...Butler, Michael....”

Full text 
Favorites
Saved in:
2
Methods, Models and Tools for Fault Tolerance [E-Book] /
Other Personal Name(s): “...Butler, Michael...”

Full text 
Favorites
Saved in:
3
Formal Methods and Software Engineering [E-Book] : 9th International Conference on Formal Engineering Methods, ICFEM 2007, Boca Raton, FL, USA, November 14-15, 2007. Proceedings.
Other Personal Name(s): “...Butler, Michael...”

Full text 
Favorites
Saved in:
4
Rigorous Engineering of Fault-Tolerant Systems [E-Book] /
Other Personal Name(s): “...Butler, Michael...”

Full text 
Favorites
Saved in:
5
Integrated Formal Methods [E-Book] : Third International Conference, IFM 2002 Turku, Finland, May 15–18, 2002 Proceedings /
Other Personal Name(s): “...Butler, Michael...”

Full text 
Favorites
Saved in:
6
Generative and Component-Based Software Engineering [E-Book] : Second International Symposium, GCSE 2000 Erfurt, Germany, October 9–12, 2000 Revised Papers /
Other Personal Name(s): “...Butler, Greg....”

Full text 
Favorites
Saved in:

Narrow Search Results