Rankings
Publications
Search Publications
Cited-by Search
Sources
Publishers
Scholars
Scholars
Top Cited Scholars
Organizations
About
Scilit
About Us
Advisory Board
Data Sources
Career
Support / Contact
User Guide
Publisher User
Search Function
Rankings Function
API Resource
Scilit Knowledge
Metrics
Scilit Recognitions
Publications Classification
Media
News
Blog
Login
Register
Home
Organizations
Laboratoire Méthodes Formelles
Home
Organizations
Laboratoire Méthodes Formelles
Laboratoire Méthodes Formelles
See All Publications
ROR Profile
Website
Type
Facility
Locations
Gif-sur-Yvette
,
France
Relationships
Parent Organizations
Centre National de la Recherche Scientifique
École Normale Supérieure Paris-Saclay
Université Paris-Saclay
Child Organizations
DEDUCTEAM: Deduction modulo, interopérabilité et démonstration automatique
TOCCATA: Certified Programs, Certified Tools, Certified Floating-Point Computations
QUACS: Structures de calcul quantique
Latest Publications
Scroll to top