Open AccessNumerical Software Verification
Author(s) -
Majid Zamani,
Damien Zufferey
Publication year - 2019
Publication title -
lecture notes in computer science
Language(s) - Uncategorized
Resource type - Book series
SCImago Journal Rank - 0.249
H-Index - 400
eISSN - 1611-3349
pISSN - 0302-9743
DOI - 10.1007/978-3-030-28423-7
Subject(s) - computer science , software engineering , programming language , software , reliability (semiconductor) , cyber physical system , software verification , software development , theoretical computer science , software construction , operating system , power (physics) , physics , quantum mechanics
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