1985/10/01 by Bowen Alpern, Fred B. Schneider · 6 citations
Computer Science · #Formal Methods in Verification #Logic, programming, and type systems #Security and Verification in Computing
paper · doi:10.1016/0020-0190(85)90056-0
crossref issued 1985/10/01 · crossref published 1985/10/01 · crossref published-print 1985/10/01 · openalex publication_date 1985/10/01 · crossref created 2003/03/14 · openalex created_date 2019/02/21 · crossref deposited 2019/03/26 · crossref indexed 2026/07/24 · openalex updated_date 2026/07/25