Conference Paper/Proceeding/Abstract 36 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
-
PDF | Accepted Manuscript
Download (499.62KB)
Abstract
Institution-based Encoding and Verification of Simple UML State Machines in CASL/SPASS
| 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 |
|---|