1
Publié 2013
Table des matières: ... Verification with Data -- Programming Without Borders -- Regular Papers -- Informative Types and Effects...
Accéder au texte intégral
Électronique eBook