1
Publications
66
Citations
1
H-Index
2003
Active since
Affiliations
Centre de Recherche en Informatique(Current)
B. Nouguier is an author at Centre de Recherche en Informatique specializing in formal methods, mathematical programming, and automated reasoning.
Top concepts
ConstraintsEngineeringVerificationFormal MethodsComputer ScienceRelational QueriesAutomated ReasoningFormal VerificationOperations ResearchComputational Complexity
Publications per year
2003–2003
1
1
Rows per page
1–1 of 1