Cover Image
Read Now

1
Published 1995
Springer Berlin Heidelberg
Table of Contents: “... proof compiler for first order logic -- Traverdi — Transformation and verification of distributed...”