Concepedia
1
Publications
21
Citations
H-Index
1991
Active since
Publications per year
1991–1991
A demonstrably correct compiler
Susan Stepney, Dave Whitley, David Cooper et al. · Formal Aspects of Computing · 1991 · 21 citations
Rows per page
1–1 of 1