Home
Explore
Journal Club
Trending
More
Synapse
⌘+K
Synapse
Language
English
English
JP
Jordi Planes
Formal Methods in Verification
Universitat de Lleida
Share
Follow
Claim This Profile
About
Research focus
Formal Methods in Verification
Impact
83 pubs · 2,544 cites · h-index 21
Affiliations
Universitat de Lleida
Universitat Oberta de Catalunya
University of Southampton
See all
Publications