Laure Petrucci
Papers
1
Total Citations
9
H-Index
1
About
No biography available yet.
Research Focus
Key Achievements
1
H-Index
1
Papers
9
Total Citations
9
Avg Citations/Paper
🏆 Most Cited Paper
Critical Systems: Formal Methods and Automated Verification
9 citations · 2017
📈 Most Prolific Year: 2017 (1 Papers)
🤝 Key Collaborators: 2
🏛 Institutions: University of York
Top Papers
- 1Critical Systems: Formal Methods and Automated Verification9 citations · 2017
Key Collaborators
Not generated yet