Edinburgh Research Explorer

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

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Standard

Searching for a Solution to Program Verification=Equation Solving in CCS. / Monroy, R.; Bundy, Alan; Green, I.

MICAI 2000: Advances in Artificial Intelligence: Mexican International Conference on Artificial Intelligence, Acapulco, Mexico, April 11-14, 2000. Proceedings. Springer-Verlag GmbH, 2000. p. 1-12 (Lecture Notes in Computer Science; Vol. 1793).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Harvard

Monroy, R, Bundy, A & Green, I 2000, Searching for a Solution to Program Verification=Equation Solving in CCS. in MICAI 2000: Advances in Artificial Intelligence: Mexican International Conference on Artificial Intelligence, Acapulco, Mexico, April 11-14, 2000. Proceedings. Lecture Notes in Computer Science, vol. 1793, Springer-Verlag GmbH, pp. 1-12. https://doi.org/10.1007/10720076_1

APA

Monroy, R., Bundy, A., & Green, I. (2000). Searching for a Solution to Program Verification=Equation Solving in CCS. In MICAI 2000: Advances in Artificial Intelligence: Mexican International Conference on Artificial Intelligence, Acapulco, Mexico, April 11-14, 2000. Proceedings (pp. 1-12). (Lecture Notes in Computer Science; Vol. 1793). Springer-Verlag GmbH. https://doi.org/10.1007/10720076_1

Vancouver

Monroy R, Bundy A, Green I. Searching for a Solution to Program Verification=Equation Solving in CCS. In MICAI 2000: Advances in Artificial Intelligence: Mexican International Conference on Artificial Intelligence, Acapulco, Mexico, April 11-14, 2000. Proceedings. Springer-Verlag GmbH. 2000. p. 1-12. (Lecture Notes in Computer Science). https://doi.org/10.1007/10720076_1

Author

Monroy, R. ; Bundy, Alan ; Green, I. / Searching for a Solution to Program Verification=Equation Solving in CCS. MICAI 2000: Advances in Artificial Intelligence: Mexican International Conference on Artificial Intelligence, Acapulco, Mexico, April 11-14, 2000. Proceedings. Springer-Verlag GmbH, 2000. pp. 1-12 (Lecture Notes in Computer Science).