Ferruccio Damiani, Johan Dovland, Einar Broch Johnsen, Ina Schaefer. Verifying traits: an incremental proof system for fine-grained reuse. Formal Asp. Comput., 26(4):761-793, 2014. [doi]
No references recorded for this publication.
No citations of this publication recorded.