Computational contracts

Printer-friendly version

Publication Type:

Journal Article

Authors:

Christophe Scholliers; Éric Tanter; Wolfgang De Meuter

Source:

Science of Computer Programming, p.- (2013)

URL:

http://www.sciencedirect.com/science/article/pii/S0167642313002347

Keywords:

Theory