Theories for mechanical proofs of imperative programs Wim H. Hesselink OriginalPaper Pages: 448 - 468
Verifying programs in the calculus of inductive constructions Catherine Parent-Vigouroux OriginalPaper Pages: 484 - 517
The semantics of the combination of atomized statements and parallel choice Peter M. W. KnijnenburgJoost N. Kok OriginalPaper Pages: 518 - 536
Verified compilation of communicating processes into clocked circuits John O'LearyGeoffrey BrownWayne Luk OriginalPaper Pages: 537 - 559