Mechanical Verification of Automatic Synthesis of Fault-Tolerant Programs

Lecture Notes in Computer Science - Germany
doi 10.1007/11506676_3
Full Text
Abstract

Available in full text

Date
Authors
Publisher

Springer Berlin Heidelberg