Statistics
Publications
1
Citations
45
H-Index
1
Active since
1988
Affiliations
University of Massachusetts Amherst(Current)
S. Gonick is an author at University of Massachusetts Amherst specializing in knowledge-based semantics, code verification, and formal methods.
Publications per year
1988–1988
1
1
A knowledge-based system for automated architectural code checking
Clive L. Dym, R.P. Henchey, E.A. Delis et al. · Computer-Aided Design · 1988 · 45 citations
1–1 of 1