1
Publicado em 2013
Sumário: ... Verification with Data -- Programming Without Borders -- Regular Papers -- Informative Types and Effects...
Obter o texto integral
Recurso Electrónico livro electrónico