Visning af: A Compositional Proof System on a Category of Labelled Transition Systems

Tilbage til artikeldetaljer A Compositional Proof System on a Category of Labelled Transition Systems Download Download PDF