Lavinia Egidi, Furio Honsell, Simona Ronchi Della Rocca. Operational, denotational and logical descriptions: a case study. Fundamenta Informaticae, 16(1):149-169, 1992.
No references recorded for this publication.
No citations of this publication recorded.