2006/09/08 by Farhad Arbab · 1 citation
Computer Science · #Embedded Systems Design Techniques #Formal Methods in Verification #Logic, programming, and type systems
paper · doi:10.1007/3-540-34874-3_12
openalex publication_date 2006/09/08 · crossref created 2006/09/08 · crossref deposited 2021/08/01 · crossref indexed 2024/09/04 · openalex created_date 2025/10/10 · openalex updated_date 2026/08/01