Login / Signup
Rimco Boudewijns
Publication Activity (10 Years)
Years Active: 2016-2016
Publications (10 Years): 1
Top Topics
Real World
Industrial Applications
Formal Specification
Object Oriented Design
Top Venues
STAF Workshops
</>
Publications
</>
Ulyana Tikhonova
,
Maarten Manders
,
Rimco Boudewijns
Visualization of Formal Specifications for Understanding and Debugging an Industrial DSL.
STAF Workshops
(2016)