No Cover Image

Book chapter 96 views 9 downloads

Institution-Based Encoding and Verification of Simple UML State Machines in CASL/SPASS / Tobias Rosenberger; Saddek Bensalem; Alexander Knapp; Markus Roggenbach

Recent Trends in Algebraic Development Techniques, Pages: 120 - 141

Swansea University Author: Markus, Roggenbach

Published in: Recent Trends in Algebraic Development Techniques
ISSN: 0302-9743 1611-3349
Published: Cham Springer International Publishing 2021
Online Access: Check full text

URI: https://cronfa.swan.ac.uk/Record/cronfa55328
Tags: Add Tag
No Tags, Be the first to tag this record!
College: College of Science
Start Page: 120
End Page: 141