Matthew J. Lovert
According to our database1,
Matthew J. Lovert
authored at least 4 papers
between 2011 and 2014.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2014
Revising basic theorem proving algorithms to cope with the logic of partial functions.
Sci. Comput. Program., 2014
2013
2012
Proceedings of the Abstract State Machines, Alloy, B, VDM, and Z, 2012
2011