Italiano (Italian) English (Inglese)
venerdì, 29 marzo 2024

Pubblicazioni

Indietro
Dettagli Pubblicazione
Autori:Lavinia Egidi
Furio Honsell
Simona Ronchi Della Rocca
Titolo:Operational, denotational and logical descriptions: a case study
Apparso su:Fundam. Inform. Vol. 16 n. 1
Pagine:149-169
Anno:1992
Tipo Pubblicazione:Paper on International Journal
URL:http://www.dblp.org/db/.../fuin/fuin16.html#EgidiHR92