1
Julkaistu 2012
Sisällysluettelo: ...Applications to Software Specification and Correctness -- Mechanised Resoning in Relational...
Hae kokoteksti
Elektroninen E-kirja
2
Julkaistu 2013
Sisällysluettelo: ... Proof by Reflection Using a Posteriori Simulation of Effectful Computation -- Automatic Data Refinement...
Hae kokoteksti
Elektroninen E-kirja