Machine generated authority record.

Work cat.: (UQROO)68818: Margaria, Tiziana. editor., Leveraging Applications of Formal Methods, Verification, and Validation