Operational, Denotational and Logical
Descriptions: a Case Study,

Risultato della ricerca: Contributo su rivista › Articolo in rivista

Altri file e collegamenti

@article{036397bed9cd4f72aae8c4d20a168069,

title = "Operational, Denotational and Logical Descriptions: a Case Study,",

author = "Lavinia EGIDI and HONSELL F. and S., \{RONCHI DELLA ROCCA\}",

year = "1992",

month = jan,

day = "1",

language = "English",

volume = "16",

pages = "149--169",

journal = "Fundamenta Informaticae",

issn = "0169-2968",

publisher = "SAGE Publications Ltd",

}