A calculus of program modifications

Author(s):  
R. Mili ◽  
M. Frappier ◽  
J. Desharnais ◽  
A. Mili
Sign in / Sign up

Export Citation Format

Share Document