2008/01/01 by Tom Schrijvers, Vítor Santos Costa, Vı́tor Santos Costa +2 · 1 citation
Computer Science · #Logic, programming, and type systems #Parallel Computing and Optimization Techniques #Software Engineering Research
paper · doi:10.1007/978-3-540-89982-2_59
crossref issued 2008/01/01 · crossref published 2008/01/01 · crossref published-print 2008/01/01 · openalex publication_date 2008/01/01 · crossref created 2008/12/15 · crossref deposited 2019/03/04 · openalex created_date 2025/10/10 · crossref indexed 2026/07/23 · openalex updated_date 2026/08/04