Accessible text describing the process algebraic approach to the specification and verification of software and software systems using mathematical logic.
Read More
Accessible text describing the process algebraic approach to the specification and verification of software and software systems using mathematical logic.
Read Less