Post
A formalized programming language with speculative execution. ~ Jamie Wright & Andrei Popescu. www.isa-afp.org/entries/IMP_With_Speculation.html #ITP #IsabelleHOL
0