1
Argitaratua 2013
Aurkibidea: ... Verification with Data -- Programming Without Borders -- Regular Papers -- Informative Types and Effects...
Testu osoa
Baliabide elektronikoa eBook