Article ISI SCOPUS
Science of Computer Programming  (2015)

Computational contracts

Scholliers, C; Tanter É.; De Meuter, W

Keywords: reliability, design, languages, theory, Higher-order contracts

Más información

Título según WOS: Computational contracts
Título según SCOPUS: Computational contracts
Título de la Revista: Science of Computer Programming
Volumen: 98
Número: P3
Editorial: Elsevier B.V.
Fecha de publicación: 2015
Página de inicio: 360
Página final: 375
Idioma: English
DOI:

10.1016/j.scico.2013.09.005
Notas: ISI, SCOPUS