Home › Authors › E. Chang 👤 E. Chang 3 books Books by E. Chang The Public House in Holland The Public House in Holland 2001 Compositional verification of Compositional verification of reactive and real-time systems 1993 The safety-progress classifica The safety-progress classification 1992