[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