Login / Signup
Roland Kretschmer
Publication Activity (10 Years)
Years Active: 1984-2023
Publications (10 Years): 15
Top Topics
Development Processes
Wave Propagation
Consistency Checking
Logical Framework
Top Venues
APSEC
J. Syst. Softw.
Softw. Syst. Model.
ICSE (NIER)
</>
Publications
</>