Computer programs - Verification.

Guidance for the verification and validation of neural networks / by: (Language materials, printed)

Software engineering : = analysis and verification / by: (Language materials, printed)

Open verification methodology cookbook by: (Language materials, printed)

Privately and publicly verifiable computing techniques = a survey / by: (Electronic resources)

Data Structures, Cryptology and Information Theory.

Mathematics of Computing.

Computer programs- Validation.

Neural networks (Computer science)

Computer-Aided Engineering (CAD, CAE) and Design.

Circuits and Systems.

Performance and Reliability.

Computer programs- Verification.

Engineering.

Computer Science.

Discrete Mathematics.

Computer programming.