Formal Methods for Executable Software Models - 9783319073163

Integrated Formal Methods : 14th International Conference, Ifm 2018, Maynooth...

Executable Metaphysics: An Ontological Framework for Recursive Epistemic Systems

Formal Methods for Dynamical Systems : 13th International School on Formal Me...

Formal Methods for Mobile Computing : 5th International School on Formal Meth...

Formal Methods for Dynamical Systems : 13th International School on Formal Me...

Web Services and Formal Methods : 10th International Workshop, Ws-fm 2013, Be...

Generating Executable Persistent Data Storage/Retrieval Code from Object-Oriente