B.M. Leavenworth
ACM SIGPLAN Notices
Paper
Transition functions: A method for semantic extensions
Related
B.M. Leavenworth
Software - Practice and Experience
Conference paper
Incremental program testing in a very high level language
B.M. Leavenworth
ACM Annual Conference 1976
B.M. Leavenworth
SIGMOD Record