Translation-Based Compositional Reasoning for Software Systems.

Fei Xie, James C. Browne, Robert P. Kurshan

Browse the full FM paper archive.