Login / Signup
Frank S. de Boer
Publication Activity (10 Years)
Years Active: 1987-2024
Publications (10 Years): 47
Top Topics
Case Study
Compositional Semantics
Symbolic Execution
Java Programs
Top Venues
CoRR
Sci. Comput. Program.
FM
ERCIM News
</>
Publications
</>