Normal view MARC view

Brazilian Symposium on Formal Methods (20th : 2017 : Recife, Brazil) (Meeting Name)

Number of records used in: 1

Preferred form: Brazilian Symposium on Formal Methods (20th : 2017 : Recife, Brazil)

Machine generated authority record.

Work cat.: (AT-ISTA): Brazilian Symposium on Formal Methods (20th : 2017 : Recife, Brazil), Formal methods :