Volume 15, issue 5-6, October 2013

Synthesis

11 articles in this issue

  1. Program sketching

    Authors

    • Armando Solar-Lezama
    • Content type: Synthesis
    • Published: 02 August 2012
    • Pages: 475 - 495
  2. Bounded synthesis

    Authors

    • Bernd Finkbeiner
    • Sven Schewe
    • Content type: Synthesis
    • Published: 07 April 2012
    • Pages: 519 - 539