VeriPolyTypes: a tool for Verification of Logic Programs with respect to Type Specifications

COMINI, Marco

2002

conference object

Archivio

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

Diritti

metadata only access

Visualizzazioni

1

Data di acquisizione
Apr 19, 2024