Login / Signup

The application of program-proving techniques to the verification of synchronization processes.

Karl N. Levitt
Published in: AFIPS Fall Joint Computing Conference (1) (1972)
Keyphrases
  • decision support
  • database
  • information technology
  • data sets
  • databases
  • information systems
  • case study
  • database systems
  • open source
  • application specific
  • programming environment