:Category:Formal methods people
{{Commons cat|Formal methods people}}
People involved with formal methods.
See also
- [https://scholar.google.co.uk/citations?view_op=search_authors&hl=en&mauthors=label:formal_methods Formal methods] authors, Google Scholar
Category:Software engineering researchers
Category:Theoretical computer scientists
{{CatAutoTOC}}