Charles H. Applebaum

Publication Activity (10 Years)

Years Active: 1971-1985
Publications (10 Years): 0

Publications

James G. Williams, Charles H. Applebaum
The Practical Verification System Project. ACM SIGSOFT Softw. Eng. Notes 10 (4) (1985)
Charles H. Applebaum, James G. Williams
PVS - design for a practical verification system. ACM Annual Conference (1984)
Charles H. Applebaum
A stronger definition of a recursively infinite set. Notre Dame J. Formal Log. 14 (3) (1973)
Charles H. Applebaum
Isomorphisms of ω-groups. Notre Dame J. Formal Log. 12 (2) (1971)