الرئيسية
استكشاف
nav.journalClub
الرائج
المزيد
Synapse
⌘+K
Synapse
اللغة
العربية
العربية
Valérie Roy | Synapse
VR
Valérie Roy
Formal Methods in Verification
Institut Universitaire de Cardiologie et de Pneumologie de Québec
Share
Follow
Claim This Profile
About
Research focus
Formal Methods in Verification
Impact
31 pubs · 230 cites · h-index 8
Affiliations
Institut Universitaire de Cardiologie et de Pneumologie de Québec
Université Laval
École Nationale Supérieure des Mines de Paris
See all
Publications