Sign in

Shadow Programming: Reasoning About Programs Using Lexical Join Point Information.

Pengcheng WuKarl J. Lieberherr
Published in: GPCE (2005)
Keyphrases