1
Pubblicazione 2013
Sommario: ... Verification with Data -- Programming Without Borders -- Regular Papers -- Informative Types and Effects...
Testo
Elettronico eBook