Compositional Circular Assume-Guarantee Rules Cannot Be Sound and Complete.

Patrick Maier

Browse the full FOSSACS paper archive.