Procedures, Parameters, And Substitution In The Refinement Calculus (1997)

Cached

Download Links

by Ana Cavalcanti , Augusto Sampaio , Jim Woodcock
Venue:SCIENCE OF COMPUTER PROGRAMMING
Citations:4 - 0 self