Normal view
MARC view
João F. Ferreira, Alexandra Mendes, Claudio Menghi (Personal Name)
Machine generated authority record
Work cat.: (OSt)1659604: João F. Ferreira, Alexandra Mendes, Claudio Menghi, Formal Methods Teaching