Specification-based sketching with Sketch

Proceedings of the 13th Workshop on Formal Techniues for Java-Like Programs - FTfJP '11 ◽

10.1145/2076674.2076677 ◽

2011 ◽

Author(s):

Hesam Samimi ◽

Kaushik Rajan

Download Full-text