"Abstract Contract Synthesis and Verification in the Symbolic K Framework."

María Alpuente, Daniel Pardo, Alicia Villanueva (2020)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics