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

Publiceret: 1990-08-01

Articles