Normal view
MARC view
Operational semantics (Topical Term)
Machine generated authority record.
Work cat.: (OSt)194099: Nielson, Hanne Riis. 100381, Semantics with applications : , 2011.