Abstract

Abstract

of the paper "Correctness of mixed computation in Algol-like programs"

Date: 
09.02.1978