Stephen Fenech

According to our database, Stephen Fenech authored at least 3 papers in 2009.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2009

On the Specification of Full Contracts.

Stephen Fenech, Gordon J. Pace, Joseph C. Okika, Anders P. Ravn, Gerardo Schneider

Electr. Notes Theor. Comput. Sci., 2009

Automatic Conflict Detection on Contracts.

Stephen Fenech, Gordon J. Pace, Gerardo Schneider

Proceedings of the Theoretical Aspects of Computing, 2009

CLAN: A Tool for Contract Analysis and Conflict Discovery.

Stephen Fenech, Gordon J. Pace, Gerardo Schneider

Proceedings of the Automated Technology for Verification and Analysis, 2009