University of Liverpool
Tools / Extras
Resource not available...
Libraries are constantly changing to best serve a growing community. This resource has been been removed from the catalog to allow new resources in.
Resources that previously were related to this inactive resource are available below.
Items that previously were related to the Person
Formal Methods and Software Engineering : 17th International Conference on Formal Engineering Methods, ICFEM 2015, Paris, France, November 3-5, 2015, Proceedings, edited by Michael Butler, Sylvain Conchon, Fatiha Zaïdi, (electronic book)
Processing Feedback ...