Challenges for Formal Semantic Description: Responses from the Main Approaches

Conference Paper/Proceeding/Abstract 1259 views

Cliff B. Jones

, Troy Astarte

Engineering Trustworthy Software Systems, Pages: 176 - 217

Swansea University Author: Troy Astarte

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

DOI (Published version): 10.1007/978-3-030-02928-9_6

Published in:	Engineering Trustworthy Software Systems
ISBN:	9783030029272 9783030029289
ISSN:	0302-9743 1611-3349
Published:	Cham Springer International Publishing 2018
Online Access:	Check full text
URI:	https://cronfa.swan.ac.uk/Record/cronfa59374

College:	Faculty of Science and Engineering
Start Page:	176
End Page:	217