Translation-Based Compositional Reasoning for Software Systems.

Wed, 01 Jan 2003 00:00:00 +0100

Fei Xie, James C. Browne, Robert P. Kurshan:
Translation-Based Compositional Reasoning for Software Systems. FME 2003: 582-599