Stephen Fenech
According to our database1, Stephen Fenech
Timeline
Legend:
Book In proceedings Article PhD thesis OtherLinks
On csauthors.net:
Bibliography
2009
On the Specification of Full Contracts.
Electr. Notes Theor. Comput. Sci., 2009
Automatic Conflict Detection on Contracts.
Proceedings of the Theoretical Aspects of Computing, 2009
CLAN: A Tool for Contract Analysis and Conflict Discovery.
Proceedings of the Automated Technology for Verification and Analysis, 2009