Affiliation
NetQi is a research project of the LSV laboratory. Founded in 1997, Laboratoire Spéfication et Véfication (LSV) is the Computer Science laboratory of ENS de Cachan, and is affiliated to the French Centre National de la Recherche Scientifique (CNRS). Netqi is also affiliated to the SECSI INRIA projet.
Members
- Elie Bursztein (Main contributor)
- Jean Goubault-Larrecq
