2008/01/01 by Yannick Moy · 4 citations
Computer Science · #Formal Methods in Verification #Logic, programming, and type systems #Security and Verification in Computing
paper · doi:10.1007/978-3-540-78163-9_18
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/02/29 · crossref deposited 2019/05/19 · openalex created_date 2025/10/10 · crossref indexed 2026/03/12 · openalex updated_date 2026/08/04