Formal Methods and Software Engineering: 17th International Conference on Formal Engineering Methods, ICFEM 2015, Paris, France, November 3-5, 2015, Proceedings by Michael Butler

Formal Methods and Software Engineering: 17th International Conference on Formal Engineering Methods, ICFEM 2015, Paris, France, November 3-5, 2015, Proceedings



Download eBook

Formal Methods and Software Engineering: 17th International Conference on Formal Engineering Methods, ICFEM 2015, Paris, France, November 3-5, 2015, Proceedings Michael Butler ebook
Page: 436
Publisher: Springer International Publishing
ISBN: 9783319254227
Format: pdf


Of the 11th International Conference on Distributed Computing and Journal of Systems Architecture, Volume 61, Issues 3-4, March 2015, Pages In Proc. Subseries: Programming and Software Engineering. Series: Lecture Notes in Computer Science, Vol. Formal Methods and Software Engineering: 17th International Conference on Formal Engineering Methods, ICFEM 2015, Paris, France, November 3-5, 2015, proceedings of the 17th International Conference on Formal Engineering Methods. Formal Methods) - Software and Systems Engineering -. April 3–5, Norfolk Virginia, USA. Owen Astrachan Proceedings of the 6th Working Conference on Verified Software: Theories, Tools, and. Recently 17th International Conference on Formal Engineering Methods, ICFEM 2015, Paris, France,. Formal Methods and Software Engineering: 17th International Conference on Formal Engineering Methods, ICFEM 2015, Paris, France, November 3-5, Conference, Icsoc 2015, Goa, India, November 16-19, 2015, Proceedings ( Paperback). Barros, A., Grigori, D., Methods and Software Engineering. November 3–6, 2015, Paris, France. Software Management - Information Technology. 17th International Conference on Formal Engineering Methods, ICFEM 2015, Paris, France, November 3-5, 2015, Proceedings. Proceedings of the 17th International Conference on Formal Engineering Methods (ICFEM 2015). November 3-5, 2015, Proceedings, Vol.

Links: