Normal view MARC view

Operational semantics (Topical Term)

Preferred form: Operational semantics

Machine generated authority record.

Work cat.: (OSt)194099: Nielson, Hanne Riis. 100381, Semantics with applications : , 2011.