Vista normal
Vista MARC
Leino, K. Rustan M. editor. (Nombre personal)
Machine generated authority record.
Work cat.: (UQROO)69493: Abdulla, Parosh Aziz. editor. 175825, Tools and Algorithms for the Construction and Analysis of Systems