No Cover Image

Conference Paper/Proceeding/Abstract 13 views 3 downloads

Institution-based Encoding and Verification of Simple UML State Machines in CASL/SPASS / Markus Roggenbach

Recent Trends in Algebraic Development Techniques - 25th IFIP WG 1.3 International Workshop, WADT 2020, Revised Selected Papers, LNCS, Springer, to appear

Swansea University Author: Markus, Roggenbach

Published in: Recent Trends in Algebraic Development Techniques - 25th IFIP WG 1.3 International Workshop, WADT 2020, Revised Selected Papers, LNCS, Springer, to appear
Published: LNCS
URI: https://cronfa.swan.ac.uk/Record/cronfa55328
Tags: Add Tag
No Tags, Be the first to tag this record!
College: College of Science