1985/03/01 by Jieh Hsiang · 2 citations
Computer Science · #Formal Methods in Verification #Logic, Reasoning, and Knowledge #Logic, programming, and type systems
paper · doi:10.1016/0004-3702(85)90074-8
crossref issued 1985/03/01 · crossref published 1985/03/01 · crossref published-print 1985/03/01 · openalex publication_date 1985/03/01 · crossref created 2003/03/14 · crossref deposited 2019/03/26 · openalex created_date 2025/10/10 · crossref indexed 2026/05/16 · openalex updated_date 2026/07/22