Compiler specification and verification /

حسب Polak, Wolfgang, 1950-
منشور في 1981

An introduction to the PL/CV2 programming logic /

حسب Constable, R. L. (Robert L.)
منشور في 1982

Program verification using Ada /

حسب McGettrick, Andrew D., 1944-
منشور في 1982

Software verification and validation : realistic project approaches /

حسب Deutsch, Michael S.
منشور في 1982

A Survey of verification techniques for parallel programs /

حسب Barringer, Howard, 1951-
منشور في 1985

Verifying concurrent processes using temporal logic /

حسب Hailpern, Brent T. (Brent Tzion), 1955-
منشور في 1982