1
Abstract State Machines, Alloy, B, VDM, and Z [E-Book]: Third International Conference, ABZ 2012, Pisa, Italy, June 18-21, 2012. Proceedings /
Other Personal Name(s): “...Leuschel, Michael....”

Full text 
Favorites
Saved in:
2
Formal Methods for Components and Objects [E-Book] : 8th International Symposium, FMCO 2009, Eindhoven, The Netherlands, November 4-6, 2009. Revised Selected Papers /
Other Personal Name(s): “...Leuschel, Michael....”

Full text 
Favorites
Saved in:
3
Integrated Formal Methods [E-Book] : 7th International Conference, IFM 2009, Düsseldorf, Germany, February 16-19, 2009. Proceedings /
Other Personal Name(s): “...Leuschel, Michael...”

Full text 
Favorites
Saved in:

Narrow Search Results