25 citations · 27 across the 3 of their papers we have counts for
1 paper · 1 filter
Martin Bodin, Philippa Gardner, Thomas Jensen +1
The development of mechanised language specification based on structured operational semantics, with applications to verified compilers and sound program analysis, requires huge ef…