Logic Based Program Synthesis and Transformation: 14th International Symposium, LOPSTR 2004, Verona, Italy, August 26-28, 2004, Revised Selected Papers Book Discussion

Topics About This Book Topics That Mention This Book

There are no discussion topics on this book yet. Be the first to start one »