Transitions and Trees: An Introduction to Structural Operational Semantics

Transitions and Trees

An Introduction to Structural Operational Semantics

2010 • 290 pages

Ratings1

Average rating4

15