![](/~ky582/talk/vetss_ag_swu_visit/featured_hu101674bd7efbc9bf93b639f0560e6a6e_1079126_720x2500_fit_q75_h2_lanczos_3.webp)
For further information of this talk, please see my paper Compositional Assume-Guarantee Reasoning of Control Law Diagrams Using UTP.
For further information of this talk, please see my paper Compositional Assume-Guarantee Reasoning of Control Law Diagrams Using UTP.