Towards Interactive Compilation Models

Leveraging Applications of Formal Methods, Verification and Validation. Modeling - Lecture Notes in Computer Science ◽

10.1007/978-3-030-03418-4_15 ◽

2018 ◽

pp. 246-260 ◽

Author(s):

Steven Smyth ◽

Alexander Schulz-Rosengarten ◽

Reinhard von Hanxleden

Download Full-text