THE Network: Formal Methods in Computer Science

Join Formal Methods in Computer Science. You rise to the level of the people around you — here that is the academics doing Formal Methods, and the Computer Science colleagues working beside them.