Mechanised Translation of Control Law Diagrams into Circus.

Frank Zeyda, Ana Cavalcanti

Browse the full IFM paper archive.