formal methods and software engineering 16th international conference on formal engineering methods icfem 2014 luxembourg luxembourg november 3 5 2014 proceedings coles
Unfortunately, this item is no longer available, but we found some similar items you might like.