No Cover Image

Conference Paper/Proceeding/Abstract 1025 views

CSP-Prover - A Proof Tool for the Verification of Scalable Concurrent Systems

Isobe, Yoshinao, Markus Roggenbach Orcid Logo

Swansea University Author: Markus Roggenbach Orcid Logo

Published: 2008
Tags: Add Tag
No Tags, Be the first to tag this record!
Item Description: JSSST (Japan Society for Software Science and Technology) Computer Software
College: Faculty of Science and Engineering