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:

Narrow Search Results