No. 328 (1990): PB-328 Compositional Characterization of Observable Program Properties

Published: 1990-08-01

Articles