Ole-Johan Dahl

Dahl, O.-J. "Verifiable programming" International Series in Computer Science Addison-Wesley, 1992.

(1992)

Languages mentioned

  • ABEL {1979} OO Language with specification semantics