A language of specified programs

  • Authors:

  • Andrzej Tarlecki

  • Affiliations:

  • Polish Academy of Sciences, Warsaw, Poland

  • Venue:
  • Science of Computer Programming
  • Year:
  • 1985

Quantified Score

Hi-index 0.00

Visualization

Abstract