Login / Signup

A prototype system for the validation of Pascal programs.

Peter T. WilkinsonJ. A. BouchardB. A. ByrneMichael A. HennellP. JacksonG. O'NeillGraeme I. P. ParkinBrian A. Wichmann
Published in: Softw. Eng. J. (1988)
Keyphrases
  • database
  • test bed
  • intermediate level
  • image processing
  • case study
  • control flow
  • information retrieval
  • three dimensional
  • information technology
  • operating system
  • prolog programs
  • visual object classes