Specification-based sketching with Sketch (2011)

by H Samimi, K Rajan
Venue:In Workshop on Formal Techniques for Java-Like Programs (FTfJP