Interface Modeling for Quality and Resource Management
Martijn Hendriks ; Marc Geilen ; Kees Goossens ; Rob de Jong ; Twan Basten
Logical methods in computer science, 2021-05, Vol.17, Issue 2
[Periódico revisado por pares]
Logical Methods in Computer Science e.V
Texto completo disponível