Cover Image
Read Now

1
Published 1993
Springer Berlin Heidelberg
Table of Contents: “... temporal logic -- The snack powerdomain for database semantics -- Verifying properties of module...”