Rely/Guarantee Reasoning for Teleo-reactive Programs over Multiple Time Bands.

Brijesh Dongol, Ian J. Hayes

Browse the full IFM paper archive.