Research output per year
Research output per year
Search results
-
2021
A Manifesto for Applicable Formal Methods
Gleirscher, M., Pol, J. V. D. & Woodcock, J., 23 Dec 2021.Research output: Working paper › Preprint
-
2019
System Safety Practice: An Interrogation of Practitioners about Their Activities, Challenges, and Views with a Focus on the European Region
Gleirscher, M. & Nyokabi, A., 2019, (Submitted) (arXiv).Research output: Working paper › Preprint
File