No Cover Image

Conference contribution 495 views

CSP-CASL-Prover - Tool integration and algorithms for automated proof generation / Liam O'Reilly; Yohinao Isobe; Markus Roggenbach

Pages: 17 - 34

Swansea University Author: Roggenbach, Markus

Published: Department of Informatics, University of Bergen 2007
Online Access: http://www.cs.swan.ac.uk/csr591/Papers/oreilly08.pdf
URI: https://cronfa.swan.ac.uk/Record/cronfa62
Tags: Add Tag
No Tags, Be the first to tag this record!
Item Description: In CALCO Young Researchers Workshop, CALCO-jnr 2007, selected papers, Bergen, Norway
College: College of Science
Start Page: 17
End Page: 34