Mechanized semantics with applications to program proof and compiler verification

by Xavier Leroy
Citations:1 - 0 self