Sign in

Denotational semantics and its algebraic derivation for an event-driven system-level language.

Huibiao ZhuJifeng HeShengchao QinPhillip J. Brooke
Published in: Formal Aspects Comput. (2015)
Keyphrases