Papers tagged formal methods Communicating Sequential Processes High-Level Specifications: Lessons from Industry STATECHARTS: A VISUAL FORMALISM FOR COMPLEX SYSTEMS Browse All Keywords By Category
