Laurent Voisin
Papers
1
Total Citations
9
H-Index
1
About
No biography available yet.
Research Focus
B-Method1 · 9 citations
Code (set theory)1 · 9 citations
Code generation1 · 9 citations
Computer science1 · 9 citations
Construct (python library)1 · 9 citations
Correctness1 · 9 citations
Event (particle physics)1 · 9 citations
Formal verification1 · 9 citations
Generator (circuit theory)1 · 9 citations
Key (lock)1 · 9 citations
Liveness1 · 9 citations
Operating system1 · 9 citations
Key Achievements
1
H-Index
1
Papers
9
Total Citations
9
Avg Citations/Paper
🏆 Most Cited Paper
Correct‐by‐construction specification to verified code
9 citations · 2018
📈 Most Prolific Year: 2018 (1 Papers)
🤝 Key Collaborators: 3
🏛 Institutions: Centre Paul Albert-Février
Top Papers
- 1Correct‐by‐construction specification to verified code9 citations · 2018
Key Collaborators
Not generated yet