Verification Architectures: Compositional Reasoning for Real-Time Systems.

Johannes Faber

Browse the full IFM paper archive.