Pubblicazioni
| 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 |