Support Materials for Formal Specification of Software
• Curriculum Module
This 1987 report includes materials that are helpful in teaching a course on formal specification of software.
Publisher
Software Engineering Institute
Software Engineering Institute