Support Materials for Formal Specification of Software
Berztiss, A. (ed.) (University of Pittsburgh)
This support materials package includes materials helpful in teaching a course on formal specification of software.
SEI-SM-8-1.0
Berztiss, A. (ed.) (University of Pittsburgh)
This support materials package includes materials helpful in teaching a course on formal specification of software.
SEI-SM-8-1.0