Open AccessSpecifying Properties over Inter-procedural, Source Code Level Behaviour of Programs
Author(s) -
Joshua Heneage Dawes,
Domenico Bianculli
Publication year - 2021
Publication title -
lecture notes in computer science
Language(s) - English
Resource type - Book series
SCImago Journal Rank - 0.249
H-Index - 400
eISSN - 1611-3349
pISSN - 0302-9743
DOI - 10.1007/978-3-030-88494-9_2
Subject(s) - computer science , programming language , source code , code (set theory) , theoretical computer science , set (abstract data type)
Accelerating Research
Robert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom
Address
John Eccles HouseRobert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom