Scottish Theorem Proving Seminar | InfWeb

Contact us

Co-organised by Alan Bundy and Francisco Quesada Real

Full details here:

http://dream.inf.ed.ac.uk/events/stp-2016/index.php

This article was published on 29 Nov, 2019