A relational calculus for program construction by parts

  • Authors:
  • M. Frappier;A. Mili;J. Desharnais

  • Affiliations:
  • -;-;-

  • Venue:
  • Science of Computer Programming - Special issue on mathematics of program construction
  • Year:
  • 1996

Quantified Score

Hi-index 0.00

Visualization

Abstract