Tags: ATS , Coq , Demo , DML , ESC , Isabelle , JML , Knot , Naught , Omega , PRL , Purity , Quick , Refinement , Spec , Y0 , Ynot
By: Sabatini
104 Views Entertainment 56 months ago Download
Tags: Consultoria , FORMACIÓN , Prevencion riesgos laborales , Seguridad trabajo , Servicio prevencion ajeno
By: dpiedrafita
425 Views Business & Finance 37 months ago Download