2017/01/01 by Mike Hinchey, Jonathan P. Bowen, Ernst-Rüdiger Olderog · 3 citations
Computer Science · #Formal Methods in Verification #History of Computing Technologies #Security and Verification in Computing
paper · doi:10.1007/978-3-319-48628-4
crossref issued 2017/01/01 · crossref published 2017/01/01 · crossref published-print 2017/01/01 · openalex publication_date 2017/01/01 · crossref created 2017/03/01 · crossref deposited 2020/01/30 · openalex created_date 2025/10/10 · crossref indexed 2026/03/24 · openalex updated_date 2026/07/23