No Cover Image

Book chapter 301 views

State of the Art on Formal Methods for Interactive Systems

Raquel Oliveira, Philippe Palanque, Benjamin Weyers, Judy Bowen, Alan Dix Orcid Logo

The Handbook of Formal Methods in Human-Computer Interaction, Pages: 3 - 55

Swansea University Author: Alan Dix Orcid Logo

Full text not available from this repository: check for access using links below.

Published in: The Handbook of Formal Methods in Human-Computer Interaction
ISBN: 978-3-319-51837-4 978-3-319-51838-1
ISSN: 1571-5035
Published: Springer, Cham 2017
Online Access: Check full text

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