Formal verification of a realistic compiler, Xavier Leroy, 2009

GPTKB entity

Statements (13)