Home › Authors › John Hatcliff 👤 John Hatcliff 2 books Books by John Hatcliff Formal Techniques for Distributed Systems 2010 Partial Evaluation : Practice Partial Evaluation : Practice and Theory 2007
