Accueil
Explorer
nav.journalClub
Tendances
Plus
Synapse
⌘+K
Synapse
Langue
Français
Français
Jane Hillston | Synapse
JH
Jane Hillston
Formal Methods in Verification
University of Edinburgh
Share
Follow
Claim This Profile
About
Research focus
Formal Methods in Verification
Impact
302 pubs · 7,028 cites · h-index 38
Affiliations
University of Edinburgh
Health Affairs
Google (United States)
See all
Publications