Login / Signup
Carlos E. Budde
ORCID
Publication Activity (10 Years)
Years Active: 2012-2024
Publications (10 Years): 35
Top Topics
Model Checker
Case Study
Compositional Semantics
Fault Tree
Top Venues
CoRR
TACAS (2)
Int. J. Softw. Tools Technol. Transf.
EPEW
</>
Publications
</>