BRZEN
Program derivation
Texto da Wikipédia (en), licença CC BY-SA. O BETARUBI mostra o verbete inteiro nesta página — a leitura não continua fora do site.
In computer science, program derivation is the derivation of a program from its specification, by mathematical means.