Vista normal Vista MARC

Barthe, Gilles. editor. (Nombre personal)

Forma preferida: Barthe, Gilles. editor.

Machine generated authority record.

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