1
by Lambers, Leen.
Published 2023
Format:
Table of Contents: ... and Semantics -- 2.2 Path Ordering, Execution Trees, and Ranges -- 2.3 Configurable Program Analysis -- 3...
Click to View
2
by Pientka, Brigitte.
Published 2023
Format:
Table of Contents: ... -- Nominal Techniques forĀ Software Specification andĀ Verification -- How Can We Trust AI? -- Contents...
Click to View