Vista normal
Vista MARC
Logic design. (Término temático)
Machine generated authority record.
Work cat.: (UQROO)69169: Beckert, Bernhard. editor. 173599, Formal Verification of Object-Oriented Software
Machine generated authority record.
Work cat.: (UQROO)69169: Beckert, Bernhard. editor. 173599, Formal Verification of Object-Oriented Software