Embedded contract languages

Manuel Fähndrich, Michael Barnett, Francesco Logozzo. Embedded contract languages. In Sung Y. Shin, Sascha Ossowski, Michael Schumacher, Mathew J. Palakal, Chih-Cheng Hung, editors, Proceedings of the 2010 ACM Symposium on Applied Computing (SAC), Sierre, Switzerland, March 22-26, 2010. pages 2103-2110, ACM, 2010. [doi]

Authors

Manuel Fähndrich

This author has not been identified. Look up 'Manuel Fähndrich' in Google

Michael Barnett

This author has not been identified. Look up 'Michael Barnett' in Google

Francesco Logozzo

This author has not been identified. Look up 'Francesco Logozzo' in Google