1
Abstract State Machines, Alloy, B, TLA, VDM, and Z [E-Book] : 5th International Conference, ABZ 2016, Linz, Austria, May 23-27, 2016, Proceedings /
Other Personal Name(s): “...Butler, Michael...”

Full text 
Favorites
Saved in:
2
Formal Methods and Software Engineering [E-Book] : 17th International Conference on Formal Engineering Methods, ICFEM 2015, Paris, France, November 3-5, 2015, Proceedings /
Other Personal Name(s): “...Butler, Michael....”

Full text 
Favorites
Saved in:
3
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:
4
Methods, Models and Tools for Fault Tolerance [E-Book] /
Other Personal Name(s): “...Butler, Michael...”

Full text 
Favorites
Saved in:
5
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:
6
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:
7
Rigorous Engineering of Fault-Tolerant Systems [E-Book] /
Other Personal Name(s): “...Butler, Michael...”

Full text 
Favorites
Saved in:
8
Semiconductor devices for optical communication /
Book
Other Personal Name(s): “...Ettenberg, Michael...”
Loan/Reservation

Favorites
Saved in:

Narrow Search Results