WYSINWYX: What You See Is Not What You eXecute (2005)

by G Balakrishnan, T Reps, D Melski, T Teitelbaum
Venue:In Verified Software: Theories, Tools, Experiments (VSTTE