Login / Signup
Lauren White
Publication Activity (10 Years)
Years Active: 2009-2024
Publications (10 Years): 3
Top Topics
Reasoning About Actions
Temporal Databases
Formal Verification
Imperative Programs
Top Venues
CPP
SOAP@PLDI
</>
Publications
</>