Vista normal Vista MARC

Computer Science. (Término temático)

Forma preferida: Computer Science.

Machine generated authority record.

Work cat.: (UQROO)69169: Beckert, Bernhard. editor. 173599, Formal Verification of Object-Oriented Software