Trends in Software Synthesis Bernd Finkbeiner


Reading Session this Week

Written: 10.11.2015 11:26 Written By: Hazem Torfah

Dear Students, 

for the reading session on Thursday we also recommend to take a look at this paper:

Interesting is for example Section 6 for details on Synthesis for Linear Integer Arithmetic.

See you on Thursday

If you encounter technical problems, please contact the administrators. legal notice privacy policy