Normal view
MARC view
Márcio Cornélio, Bill Roscoe(Personal Name)
Machine generated authority record
Work cat.: (OSt)1621024: Márcio Cornélio, Bill Roscoe, Formal Methods: Foundations and Applications