Ivan Kuraj and Viktor Kuncak. Scife: Scala framework for efficient enumeration of data structures with invariants. In Scala Workshop, 2014.

bib ] Back