Vista normal
Vista MARC
Information systems. (Término temático)
Machine generated authority record.
Work cat.: (UQROO)68818: Margaria, Tiziana. editor. 170971, Leveraging Applications of Formal Methods, Verification, and Validation
Machine generated authority record.
Work cat.: (UQROO)68818: Margaria, Tiziana. editor. 170971, Leveraging Applications of Formal Methods, Verification, and Validation