Normal view
MARC view
Cavalheiro, Simone (Personal Name)
Machine generated authority record.
Work cat.: (AT-ISTA): Brazilian Symposium on Formal Methods (20th : 2017 : Recife, Brazil) 62724, Formal methods :