Autor:	Alexandre V. Zamulin
Rok vydání:	2003
Předmět:	Action semantics Denotational semantics Programming language Well-founded semantics Computer science Computational semantics Formal semantics (linguistics) Formal language computer.software_genre computer Formal verification Software Operational semantics
Zdroj:	Programming and Computer Software. 29:259-270
ISSN:	0361-7688
DOI:	10.1023/a:1025785124539
Databáze:	OpenAIRE
Externí odkaz:	https://explore.openaire.eu/search/publication?articleId=doi_________::9b3f30b7fdf611e71b609bd208542afc https://doi.org/10.1023/a:1025785124539 Zobrazit plný text záznamu Full text from SpringerLink