Saturday, December 14, 2013

From Z to B and then Event-B: Assigning Proofs to Meaningful Programs

Integrated Formal MethodsLecture Notes in Computer Science Volume 7940, 2013, pp 1-15From Z to B and then Event-B: Assigning Proofs to Meaningful Programs
Abstract

No comments: