1
Published 2012
Table of Contents: ...Applications to Software Specification and Correctness -- Mechanised Resoning in Relational...
View full text
Electronic eBook
2
Published 2013
Table of Contents: ... Proof by Reflection Using a Posteriori Simulation of Effectful Computation -- Automatic Data Refinement...
View full text
Electronic eBook