1
منشور في 2012
جدول المحتويات: ...Applications to Software Specification and Correctness -- Mechanised Resoning in Relational...
احصل على النص الكامل
الكتروني كتاب الكتروني
2
منشور في 2013
جدول المحتويات: ... Proof by Reflection Using a Posteriori Simulation of Effectful Computation -- Automatic Data Refinement...
احصل على النص الكامل
الكتروني كتاب الكتروني