Vista normal
Vista MARC
Information Systems. (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