STAMP: Sûreté du logiciel et Preuves Mathématiques Formalisées (STAMP)
Also known as
STAMP: Safety Techniques based on Formalized Mathematical Proofs
Type
Facility
Location
Website
Related organizations
Related organizations
Parent