Implementing Program Verification in Pascal
Suggested Citation
Richard Molnar. "Implementing Program Verification in Pascal" Journal of Pascal, Ada, and Modula (1986): 59-64.
Richard K. Molnar, Retired
Macalester College
- Associate Professor, Mathematics and Computer Science
- Contact Information
Expertise
- Algebra and combinatorics in math
- Programming languages
- Artifical Intelligence
- Theory in Computer Science
Courses/Seminars
- Introduction to Computer Science
- Computer Programming
- Algorithms
- Operating Systems
- Programming Languages
- Functional Languages
- Theoretical Computer Science