Sierra/Aria Verification Manual (V.5.10)
Author(s) -
Brian Carnes
Publication year - 2022
Publication title -
osti oai (u.s. department of energy office of scientific and technical information)
Language(s) - Uncategorized
Resource type - Reports
DOI - 10.2172/1888082
Subject(s) - suite , code (set theory) , test suite , computer science , programming language , test (biology) , algorithm , test case , geology , archaeology , geography , paleontology , 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