↓ Skip to main content

Engineering Trustworthy Software Systems

Overview of attention for book
Attention for Chapter 6: Challenges for Formal Semantic Description: Responses from the Main Approaches
Altmetric Badge
You are seeing a free-to-access but limited selection of the activity Altmetric has collected about this research output. Click here to find out more.
Chapter title
Challenges for Formal Semantic Description: Responses from the Main Approaches
Chapter number 6
Book title
Lecture Notes in Computer Science
Published in
Lecture notes in computer science, November 2018
DOI 10.1007/978-3-030-02928-9_6
Book ISBNs
978-3-03-002927-2, 978-3-03-002928-9
Authors

Cliff B. Jones, Troy K. Astarte