Report - A linear π-Calculus in Coq (Work In Progress)groups.inf.ed.ac.uk/abcd/VEST/slides/Tassi.pdfThe Prose (PROvers for SEssions) Project Micro French 1 year funding outcome of an OPCT

Please pass captcha verification before submit form