No Cover Image

Conference Paper/Proceeding/Abstract 106 views 11 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 Authors: Tobias Rosenberger, 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

Tags: Add Tag
No Tags, Be the first to tag this record!
College: College of Science
Start Page: 120
End Page: 141