Vista normal Vista MARC

Leino, K. Rustan M. editor. (Nombre personal)

Forma preferida: Leino, K. Rustan M. editor.

Machine generated authority record.

Work cat.: (UQROO)69493: Abdulla, Parosh Aziz. editor. 175825, Tools and Algorithms for the Construction and Analysis of Systems