الرئيسية
استكشاف
nav.journalClub
الرائج
المزيد
Synapse
⌘+K
Synapse
اللغة
العربية
العربية
Koen Claessen | Synapse
KC
Koen Claessen
Formal Methods in Verification
Chalmers University of Technology
Share
Follow
Claim This Profile
About
Research focus
Formal Methods in Verification
Impact
151 pubs · 5,361 cites · h-index 33
Affiliations
Chalmers University of Technology
University of Gothenburg
École Polytechnique Fédérale de Lausanne
See all
Publications