Login / Signup

On the Development of Correct Specified Programs.

Andrzej Blikle
Published in: IEEE Trans. Software Eng. (1981)
Keyphrases
  • knowledge based systems
  • rapid development
  • st century
  • development environment
  • automatic programming
  • search algorithm
  • programming environments