1
by Fraser-Hurt, Nicole, Hou, Xiaohui, Wilkinson, Thomas, Duran, Denizhan, Abou Jaoude, Gerard J., Skordis, Jolene, Chukwuma, Adanna, Lao Pena, Christine, Tshivuila Matala, Opope O., Gorgens, Marelize, Wilson, David P.
Published 2022
Subjects:
“...UNIVERSAL HEALTH COVERAGE...”Published 2022
Get full text
2
3
by Enea, Constantin.
Published 2023
Format:
Published 2023
Table of Contents: “... Design Coverage for Generation of Unwanted Properties -- 3.5 High-Quality Tests Specified by a Property...”
Click to View
4
by Yoshida, Nobuko.
Published 2021
Format:
Published 2021
Table of Contents: “... -- 5.1 Specification and proof reuse -- 5.2 Pattern-level specification -- 6 Verification of object...”
Click to View
5
by Groote, Jan Friso.
Published 2021
Format:
Published 2021
Table of Contents: “... Proof Format for SAT Solver-Elaborator Communication -- 1 Introduction -- 2 The FRAT format -- 2...”
Click to View
6
by World Bank
Published 2019
“... exacerbated. Without an official proof of
identity, many smallholder farmers struggle to access...”Published 2019
Get full text
Get full text
7
by Fisman, Dana.
Published 2022
Format:
Published 2022
Table of Contents: “... over Game Graphs -- 5.2 The Symbolic Algorithm -- 5.3 Proof Outline -- 6 Experimental Evaluation -- 6...”
Click to View
8
by Jasperneite, Jürgen.
Published 2020
Format:
Published 2020
Table of Contents: “... -- 4 GUI -- 5 Hardware interface -- 6 Proof of concept -- 6.1 IO-Link distance sensor -- 7 Conclusions...”
Click to View