Vista normal Vista MARC

Computer science. (Término temático)

Forma preferida: Computer science.

Machine generated authority record.

Work cat.: (UQROO)67409: Barthe, Gilles. editor. 160071, Verification, Model Checking, and Abstract Interpretation