From operational semantics to abstract machines. Preliminary results
- John Hannan
- , Dale Miller
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
20
Link opens in a new tab
Scopus
citations