Search Results - LOPSTR Namur

  • Showing 1 – 1 results of 1
Filter by
  1. 1
    Cover Image

    Logic-based program synthesis and transformation: 27th International Symposium, LOPSTR 2017, Namur, Belgium, October 10-12, 2017 : revised selected papers

    Published 2018
    “…LOPSTR Namur…”
    Read online
    Electronic Conference Proceedings eBook


    Saved in:

Search Tools: