Browsing by Author Fenech, Stephen
Showing results 1 to 7 of 7
Issue Date | Title | Author(s) |
2009 | Automatic conflict detection on contracts | Fenech, Stephen; Pace, Gordon J.; Schneider, Gerardo |
2009 | CLAN : a tool for contract analysis and conflict discovery | Fenech, Stephen; Pace, Gordon J.; Schneider, Gerardo |
2008 | Conflict analysis of deontic contracts | Fenech, Stephen; Pace, Gordon J.; Schneider, Gerardo |
2008 | Detection of conflicts in electronic contracts | Fenech, Stephen; Pace, Gordon J.; Schneider, Gerardo |
2007 | Model checking concurrent assembly algorithms | Cordina, Joseph; Fenech, Stephen; Pace, Gordon J. |
1999 | Nutrition information on labels. | Fenech, Stephen |
2009 | On the specification of full contracts | Fenech, Stephen; Pace, Gordon J.; Okika, Joseph C.; Ravn, Anders P.; Schneider, Gerardo |