Computer programs - Verification.

Open verification methodology cookbook by: (Electronic resources)

Privately and publicly verifiable computing techniquesa survey / by: (Electronic resources)

Data Structures, Cryptology and Information Theory.

Mathematics of Computing.

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

Circuits and Systems.

Computer programs

Performance and Reliability.

Engineering.

Computer Science.

Discrete Mathematics.