Home › Authors › Susan Gerhart 👤 Susan Gerhart 1 book Books by Susan Gerhart Industrial applications of formal methods to model, design, and analyze computer systems 1995
