Vista normal
Vista MARC
- Pierro, Alessandra.
Pierro, Alessandra. (Nombre personal)
Machine generated authority record.
Work cat.: (MX-SnUAN)301565: Aldini, Alessandro. editor. 322521, Formal Methods for Quantitative Aspects of Programming Languages :