1
2
3
4
5
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
6
by Galis, Alex.
Published 2013
Format:
Table of Contents: ... and Standardization and Programs -- 5 Concluding Remarks -- References -- Towards a Minimal Core for Information...
Click to View