Italiano (Italian) English (Inglese)
Thursday, 12 December 2024

Publications

Back
Pubblication Details
Authors:Lavinia Egidi
Furio Honsell
Simona Ronchi Della Rocca
Title:Operational, denotational and logical descriptions: a case study
Published on:Fundam. Inform. Vol. 16 n. 1
Pages:149-169
Year:1992
Tipo Pubblicazione:Paper on International Journal
URL:http://www.dblp.org/db/.../fuin/fuin16.html#EgidiHR92