Challenges in the Specification of Full Contracts

Gordon J. Pace, Gerardo Schneider. Challenges in the Specification of Full Contracts. In Michael Leuschel, Heike Wehrheim, editors, Integrated Formal Methods, 7th International Conference, IFM 2009, Düsseldorf, Germany, February 16-19, 2009. Proceedings. Volume 5423 of Lecture Notes in Computer Science, pages 292-306, Springer, 2009. [doi]

Authors

Gordon J. Pace

Identified as Gordon J. Pace

Gerardo Schneider

This author has not been identified. It may be one of the following persons: Look up 'Gerardo Schneider' in Google