Automatic Synthesis of Specifications for First Order Curry Programs

BACCI, Giovanni

•

COMINI, Marco

•

VILLANUEVA, Alicia

•

M. A. Feliù

2012

conference object

DOI

10.1145/2370776.2370781

Archivio

http://hdl.handle.net/11390/1042201

info:eu-repo/semantics/altIdentifier/scopus/2-s2.0-84867558849

http://doi.acm.org/10.1145/2370776.2370781

Diritti

metadata only access

Scopus© citazioni

7

Data di acquisizione
Jun 2, 2022

Visualizzazioni

1

Data di acquisizione
Apr 19, 2024