Information About

Absys





SEE ALSO



REFERENCES

  • "ABSYS: An Incremental Compiler for Assertions", J.M. Foster et al, Mach Intell 4, Edinburgh U Press, 1969 , pp. 423-429