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

• Authors:

• Raul Monroy;Alan Bundy;Ian Green

• Affiliations:

• -;-;-

• Venue:
• MICAI '00 Proceedings of the Mexican International Conference on Artificial Intelligence: Advances in Artificial Intelligence
• Year:
• 2000