I am a lecturer at the University of York with interests in formal semantics, theorem proving, and cyber-physical systems.
-
University of York
- York, United Kingdom
- https://www-users.cs.york.ac.uk/~simonf
Sort by: Most downloads
0 packages
No results matched your search.
Try browsing all packages to find what you're looking for.