All Books

  1. home
  2. Books
image description

Logic-Based Program Synthesis and Transformation

By: Michael Hanus