Mario Gleirscher – Publications — York Research Database

Accepting PhD Students

9 Article
6 Conference contribution
2 Preprint
1 Chapter (peer-reviewed)
More
- 1 Editorial

1 results

Filter

2021

Preface: Proceedings First Workshop on Applicable Formal Methods
Gleirscher, M., Van De Pol, J. & Woodcock, J., 16 Nov 2021, In: Electronic Proceedings in Theoretical Computer Science, EPTCS. 349
Research output: Contribution to journal › Editorial › peer-review