Amanote Research
Register
Sign In
Complete Functional Synthesis
doi 10.1145/1806596.1806632
Full Text
Open PDF
Abstract
Available in
full text
Date
January 1, 2010
Authors
Viktor Kuncak
Mikaël Mayer
Ruzica Piskac
Philippe Suter
Publisher
ACM Press