Robert Finlay
Robert Finlay worked with Joe Kiniry in the 2005-2006 academic year on a final year thesis in the School of Computer Science and Informatics at UCD. His project focused on writing a PVS Eclipse plugin.
Robert Finlay worked with Joe Kiniry in the 2005-2006 academic year on a final year thesis in the School of Computer Science and Informatics at UCD. His project focused on writing a PVS Eclipse plugin.