Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
programming proof » programming problem, programming program, programming project
program python » program path, program paths, program potong
proof java » proof data
https » http
programming proof » programming problem, programming program, programming project
program python » program path, program paths, program potong
proof java » proof data
https » http
1
Published 2013
Table of Contents:
“... Verification with Data -- Programming Without Borders -- Regular Papers -- Informative Types and Effects...”View full text
Electronic
eBook
