Formal Methods and Software Development. Proceedings of the International Joint

Computational Methods in Science and Engineering: Proceedings of the Workshop Si

Ehrig - Formal Methods and Software Development. Proceedings of the In - X555z

Formal Methods and Software Development Vol. 2 : Proceedings of t

Formal Methods and Software Development. Proceedings of the International Joint

Alagar - Formal Methods in Databases and Software Engineering Procee - X555z

Multiple Classifier Systems : Proceedings of the Second International Worksho...

Software Engineering Perspectives in Intelligent Systems: Proceedings of 4th Com