Laboratoire Spécification et Vérification
Overview
- ID: https://ror.org/01kz1bj67
- ATR ID: 01kz1bj67
- ATR Label: Laboratoire Spécification et Vérification
- Status: inactive
- Established: 1998
- Types: facility
Locations
-
Cachan, Île-de-France, France
- GeoNames ID: 3029276
- Coordinates: 48.79632, 2.33661
Names
- LSV (acronym)
- Laboratoire Spécification et Vérification (ror_display, label, fr)
External IDs
- grid: grid.464035.0
- isni: 0000 0001 2063 800X
Domains
No domains listed.
Links
- website: http://www.lsv.ens-cachan.fr/
Relationships
-
parent: French Institute for Research in Computer Science and Automation
- https://ror.org/02kvxyf05
-
parent: Institut des Sciences de l'Information et de leurs Interactions
- https://ror.org/04z22qz54
-
parent: École Normale Supérieure Paris-Saclay
- https://ror.org/00hx6zz33
Administrative Information
- Created: 2018-11-14 (schema 1.0)
- Last modified: 2024-12-11 (schema 2.1)
Website test
ATR includes organizational metadata sourced from the Research Organization Registry (ROR). ROR data is provided under the terms and conditions defined by the ROR project. ATR independently aggregates, processes, and presents this information and is not affiliated with or endorsed by ROR.