1
Udgivet 2013
Indholdsfortegnelse: ... Verification with Data -- Programming Without Borders -- Regular Papers -- Informative Types and Effects...
Få fuldtekst
Electronisk eBog