Adriana Damasceno

From MaRDI portal
Person:3651279

Available identifiers

zbMath Open damasceno.adrianaMaRDI QIDQ3651279

List of research outcomes

PublicationDate of PublicationType
A Mechanized Strategy for Safe Abstraction of CSP Specifications2009-12-09Paper

Research outcomes over time



This page was built for person: Adriana Damasceno