Comfusy: A Tool for Complete Functional Synthesis

Viktor Kuncak, Mikaël Mayer, Ruzica Piskac, Philippe Suter. Comfusy: A Tool for Complete Functional Synthesis. In Tayssir Touili, Byron Cook, Paul Jackson, editors, Computer Aided Verification, 22nd International Conference, CAV 2010, Edinburgh, UK, July 15-19, 2010. Proceedings. Volume 6174 of Lecture Notes in Computer Science, pages 430-433, Springer, 2010. [doi]

Authors

Viktor Kuncak

This author has not been identified. Look up 'Viktor Kuncak' in Google

Mikaël Mayer

This author has not been identified. Look up 'Mikaël Mayer' in Google

Ruzica Piskac

This author has not been identified. Look up 'Ruzica Piskac' in Google

Philippe Suter

Identified as Philippe Suter