Skip to main content
Article
Implementing Program Verification in Pascal
Journal of Pascal, Ada, and Modula (1986)
  • Richard Molnar, Macalester College
Disciplines
Publication Date
September, 1986
Citation Information
Richard Molnar. "Implementing Program Verification in Pascal" Journal of Pascal, Ada, and Modula (1986)
Available at: http://works.bepress.com/richard_molnar/12/