A program logic for higher-order procedural variables . . . . (2009)

by T. Crolard, et al.
Citations:3 - 2 self