Login / Signup
Anders Mariegaard
Publication Activity (10 Years)
Years Active: 2015-2023
Publications (10 Years): 10
Top Topics
Verification Method
Model Checking
Dependency Graphs
Energy Consumption
Top Venues
CoRR
SynCoP
Int. J. Softw. Tools Technol. Transf.
Cassting/SynCoP
</>
Publications
</>