Formal Methods and Software Engineering : 16th International Conference on Fo...

The 28 revised full papers presented were carefully reviewed and selected from 73 submissions.

eBay