Vista normal
Vista MARC
Logic design. (Término temático)
Machine generated authority record.
Work cat.: (UQROO)62333: Havelund, Klaus. editor. 123236, Formal Approaches to Software Testing and Runtime Verification
Machine generated authority record.
Work cat.: (UQROO)62333: Havelund, Klaus. editor. 123236, Formal Approaches to Software Testing and Runtime Verification