DMCA

Property Preservation and Composition with Guarantees: from ASSERT to CHESS (Invited Paper)

by Tullio Vardanega