2014

How to Handle Assumptions in Synthesis

Tags

Workshop

Proceedings 3rd Workshop on Synthesis, SYNT 2014, Vienna, Austria, July 23-24, 2014.

Date published

2014

Date last modified

2018-02-23 14:10:44

Authors

Download