Accueil
Explorer
nav.journalClub
Tendances
Plus
Synapse
⌘+K
Synapse
Langue
Français
Français
J. Bitner | Synapse
JB
J. Bitner
Formal Methods in Verification
The University of Texas at Austin
Share
Follow
Claim This Profile
About
Research focus
Formal Methods in Verification
Impact
21 pubs · 957 cites · h-index 10
Affiliations
The University of Texas at Austin
Applied Research Laboratory at the University of Hawai‘i
University of Illinois Urbana-Champaign
Publications