Ioana Pasca
发表
Nicolas Brisebarre,
Mioara Joldes,
Laurent Théry,
2012,
NASA Formal Methods.
Jeremy Avigad,
Andrea Asperti,
Enrico Tassi,
2013,
ITP.