home > book reviews > Hans Huttel

Google > Hans Huttel

author : Hans Huttel

Books

Transitions and Trees. 2010

Books : reviews

Hans Huttel.
Transitions and Trees: an introduction to structural operational semantics.
CUP. 2010

(read but not reviewed)