Property Preservation and Composition with Guarantees: From ASSERT to CHESS.

Tullio Vardanega

Browse the full ISORC paper archive.