Richard K. Molnar

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

Links

Search All Sites

Print this page

Implementing Program Verification in Pascal

Richard Molnar, Macalester College

Suggested Citation

Richard Molnar. "Implementing Program Verification in Pascal" Journal of Pascal, Ada, and Modula (1986): 59-64.

The full text of this version of the article is not currently available here. Find in your library
Bookmark