![](/img/cover-not-exists.png)
Behavioural and abstractor specifications revisited
Hennicker, Rolf, Madeira, Alexandre, Wirsing, MartinLanguage:
english
Journal:
Theoretical Computer Science
DOI:
10.1016/j.tcs.2018.02.033
Date:
March, 2018
File:
PDF, 737 KB
english, 2018