No Cover Image

Book 368 views

Formal Methods for Software Engineering

Markus Roggenbach Orcid Logo, Antonio Cerone, Bernd-Holger Schlingloff, Gerardo Schneider, Siraj Ahmed Shaikh

Texts in Theoretical Computer Science. An EATCS Series

Swansea University Author: Markus Roggenbach Orcid Logo

  • Accepted Manuscript under embargo until: 1st July 2024
Published in: Texts in Theoretical Computer Science. An EATCS Series
ISBN: 9783030387990 9783030388003
ISSN: 1862-4499 1862-4502
Published: Cham Springer International Publishing 2022
Online Access: Check full text

Tags: Add Tag
No Tags, Be the first to tag this record!
Item Description: With a foreword by Manfred Broy and a contribution on the origins and development of Formal Methods by John V. Tucker
Keywords: Formal Methods, Logic, Software Engineering, Process Algebras, CSP, Algebraic Specification, CASL, Verification
College: Faculty of Science and Engineering