2006/01/01 by Joseph R. Kiniry · 1 citation
Computer Science · #Computer science #Eiffel #Feature (linguistics) #Formal Methods in Verification #Java #Linguistics #Logic, programming, and type systems #Object-oriented programming #Programming language #Semantics (computer science) #Set (abstract data type) #Software Engineering Research
paper · doi:10.1007/11818502_16
crossref issued 2006/01/01 · crossref published 2006/01/01 · crossref published-print 2006/01/01 · openalex publication_date 2006/01/01 · crossref created 2006/10/03 · crossref deposited 2021/04/27 · crossref indexed 2024/09/04 · openalex created_date 2025/10/10 · openalex updated_date 2026/07/29