2003/01/01 by Farhad Arbab, F. Arbab, Jan Rutten +1 · 5 citations
Computer Science · #Formal Methods in Verification #Logic, Reasoning, and Knowledge #Logic, programming, and type systems
paper · doi:10.1007/978-3-540-40020-2_2
crossref issued 2003/01/01 · crossref published 2003/01/01 · crossref published-print 2003/01/01 · openalex publication_date 2003/01/01 · crossref created 2010/06/23 · crossref deposited 2019/03/14 · openalex created_date 2025/10/10 · crossref indexed 2025/11/06 · openalex updated_date 2026/07/29