Publications

2016
DOI
[bibtex]
Erika Abraham, Thi Mai Thuong Tran, Martin Steffen. Observable Interface Behavior and Inheritance. Mathematical Structures in Computer Science 26(3), pages 561–605, 2016.
2011
DOI
[bibtex]
Thi Mai Thuong Tran, Martin Steffen, Erika Abraham. Inheritance and Observability. Proc. of the Nordic Workshop on Programming Theory (NWPT'11), Volume of Mathematical Structures in Computer Science, , 2011.