Number of items: 3.
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 Tue Sep 16 17:39:28 2025 CEST.