Normal view
MARC view
Laure Petrucci, Cristina Seceleanu, Ana Cavalcanti (Personal Name)
Machine generated authority record
Work cat.: (OSt)1619699: Laure Petrucci, Cristina Seceleanu, Ana Cavalcanti, Critical Systems: Formal Methods and Automated Verification