Meera Sridhar, Richard Wartell and Kevin W. Hamlen
Science of Computer Programming (SCP), Special Issue on Invariant Generation, 93(B):110—124, November 2014.
Publication year: 2014