The University of Edinburgh -
Division of Informatics
Forrest Hill & 80 South Bridge

Publication Details:
Book: Symbolic verification with gap-order constraints
Editors:John Gallagher
Book#: 3 540 62718 9
Publisher:Springer-Verlag, Germany
Pages: 20-37

Paper in Conference Proceedings #1192

Title:Symbolic verification with gap-order constraints
Authors:Fribourg,L; Richardson,JG
Date: 1997
Presented:Proceedings of the Sixth International Workshop on Logic Program Synthesis and Transformation, Stockholm, Sweden, August 1996

[Search These Pages] [DAI Home Page] [Comment]