Cover Image
Read Now

1
Published 2016
Springer International Publishing
Table of Contents: “... Control Construct for Abstract State Machines -- Encoding TLA+ into Many-Sorted First-Order Logic...”