D. M. Steier
-
KIDS: A Semiautomatic Program Development System
IEEE Transactions on Software Engineering
Recent AI-Related Dissertations
ACM SIGART Bulletin