Vista normal
Vista MARC
Havelund, Klaus. editor. (Nombre personal)
Machine generated authority record.
Work cat.: (UQROO)62333: Havelund, Klaus. editor., Formal Approaches to Software Testing and Runtime Verification
Machine generated authority record.
Work cat.: (UQROO)62333: Havelund, Klaus. editor., Formal Approaches to Software Testing and Runtime Verification