Browsing by Author Wirsing, Martin
Showing results 1 to 1 of 1
Issue Date | Title | Author(s) | Type | Access Type |
---|---|---|---|---|
12-Sep-2018 | Behavioural and abstractor specifications revisited | Hennicker, Rolf; Madeira, Alexandre; Wirsing, Martin | article | ![]() |