[CakeML] GCHQ event overview talks (CakeML and L3 alluded to)
Mike Gordon
Mike.Gordon at cl.cam.ac.uk
Sun Oct 26 10:57:26 UTC 2014
Some nice overview talks at:
http://verificationinstitute.org/event/joint-annual-research-conference/
More information about the Users
mailing list