Normal view
MARC view
- Moura, Leonardo
Moura, Leonardo (Имя лица)
Machine generated authority record.
Work cat.: (RU-ToGU): Iyoda, Juliano. editor. 414908, Formal Methods: Foundations and Applications, 2013.