2014

How to Handle Assumptions in Synthesis

Tags

Workshop

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

Veröffentlichungsdatum

2014

Letztes Änderungsdatum

2018-02-23 14:10:44

Autor:innen

Herunterladen