Interface Modeling for Quality and Resource Management

Martijn Hendriks, Marc Geilen, Kees Goossens, Rob de Jong, Twan Basten. Interface Modeling for Quality and Resource Management. Logical Methods in Computer Science, 17(2), 2021. [doi]

Bibliographies