Number of items: 3.
Conference or Workshop Item (A Paper)
Darulova, Eva and Kuncak, Viktor and Majumdar, Rupak and Saha, Indranil
(2013)
Synthesis of fixed-point programs.
Jacobs, Swen and Kuncak, Viktor and Suter, Philippe
(2013)
Reductions for Synthesis Procedures.
Jacobs, Swen and Kuncak, Viktor
(2011)
Towards Complete Reasoning about Axiomatic Specifications.
This list was generated on Fri Apr 26 06:55:22 2024 CEST.