Static Analysis, 4th International Symposium, SAS 97, Paris, France, September 8-10, 1997, Proceedings

Pascal Van Hentenryck, editor, Static Analysis, 4th International Symposium, SAS 97, Paris, France, September 8-10, 1997, Proceedings. Volume 1302 of Lecture Notes in Computer Science, Springer, 1997.

Conference: SAS1997

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.