Philippe Collet, Alain Ozanne, Nicolas Rivierre. Towards a Versatile Contract Model to Organize Behavioral Specifications. In Jan van Leeuwen, Giuseppe F. Italiano, Wiebe van der Hoek, Christoph Meinel, Harald Sack, Frantisek Plasil, editors, SOFSEM 2007: Theory and Practice of Computer Science, 33rd Conference on Current Trends in Theory and Practice of Computer Science, Harrachov, Czech Republic, January 20-26, 2007, Proceedings. Volume 4362 of Lecture Notes in Computer Science, pages 844-855, Springer, 2007. [doi]
Abstract is missing.