×
Log in
Upload File
Most Popular
Study
Business
Design
Technology
Travel
Explore all categories
The top documents tagged [viktor kuncak]
Scala Z3 Integrating SMT and Programming Ali Sinan Köksal, Viktor Kuncak, Philippe Suter École Polytechnique Fédérale de Lausanne
221 views
Synthesis, Analysis, and Verification Lecture 01 Lectures: Prof. Viktor Kuncak Prof. Ondrej Lhotak Exercises and Labs: Etienne Kneuss Mahsa Taziki Introduction,
221 views
Resource Bound Inference for Functional Programs
41 views
Software Synthesis using Automated Reasoning
69 views
Synthesizing and Repairing Expressions using Types and Weights
28 views