No Cover Image

Conference Paper/Proceeding/Abstract 116 views 51 downloads

Fundamental Constructs in Programming Languages

Peter Mosses Orcid Logo

ISoLA 2021: Leveraging Applications of Formal Methods, Verification and Validation, Pages: 296 - 321

Swansea University Author: Peter Mosses Orcid Logo

Published in: ISoLA 2021: Leveraging Applications of Formal Methods, Verification and Validation
ISBN: 978-3-030-89158-9 978-3-030-89159-6
ISSN: 0302-9743 1611-3349
Published: Cham Springer International Publishing 2021
Online Access: Check full text

URI: https://cronfa.swan.ac.uk/Record/cronfa58598
Tags: Add Tag
No Tags, Be the first to tag this record!
Keywords: Funcons; Programming constructs; Formal specification
College: College of Science
Start Page: 296
End Page: 321