Login / Signup

A Correctness Proof of Sorting by Means of Formal Procedures.

Maarten M. Fokkinga
Published in: Sci. Comput. Program. (1987)
Keyphrases
  • database
  • databases
  • learning algorithm
  • formal model