Searching for a Solution to Program Verification=Equation Solving in CCS.

Raul Monroy Alan Bundy Ian Green Searching for a Solution to Program Verification=Equation Solving in CCS. 1-12 2000 conf/micai/2000 MICAI db/conf/micai/micai2000.html#MonroyBG00