Vista normal
Vista MARC
Wolff, Burkhart. editor. (Nombre personal)
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