1
Gepubliceerd in 2013
Inhoudsopgave: ... Verification with Data -- Programming Without Borders -- Regular Papers -- Informative Types and Effects...
Volledige tekst
Elektronisch E-boek