1996/01/01 by Peter B. Andrews, Matthew Bishop · 3 citations
Computer Science · Mathematics · #Computer science #Formal Methods in Verification #Logic, Reasoning, and Knowledge #Logic, programming, and type systems #Mathematics
paper · doi:10.1007/3-540-61208-4_1
crossref issued 1996/01/01 · crossref published 1996/01/01 · crossref published-print 1996/01/01 · openalex publication_date 1996/01/01 · crossref published-online 2005/06/01 · crossref created 2012/02/26 · crossref deposited 2021/04/28 · crossref indexed 2024/09/06 · openalex created_date 2025/10/10 · openalex updated_date 2026/07/29