1982/01/01 by Niklaus Wirth · 4 citations
Computer Science · #Computability, Logic, AI Algorithms #Embedded Systems Design Techniques #Formal Methods in Verification
paper · doi:10.1007/978-3-642-83565-0
openalex publication_date 1982/01/01 · crossref issued 1988/01/01 · crossref published 1988/01/01 · crossref published-print 1988/01/01 · crossref created 2012/07/28 · crossref deposited 2019/04/06 · openalex created_date 2025/10/10 · crossref indexed 2026/03/19 · openalex updated_date 2026/08/04