Program Graphs

• 17 July 2019
• book chapter
• Published by Springer Nature
• p. 1-14
• https://doi.org/10.1007/978-3-030-05156-3_1

Abstract

Keywords

• PROGRAM GRAPHS
• PROGRAMMING LANGUAGE
• COMPUTER SCIENCE
• SEMANTICS
• FORMALISING
• PRECISE
• SUBTLE