Teaching Formal Methods and Discrete Mathematics
Preprint in arXiv (April 2014)
The most recent citing publications are shown below. View all 2 publications that cite this research output on Dimensions.
Preprint in arXiv (April 2014)
Article in Electronic Proceedings in Theoretical Computer Science (April 2014)