No Cover Image

Conference contribution 505 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:
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