Frank Zeyda

Search results

• 2010

  Automating Refinement of Circus Programs

  Zeyda, F. & Cavalcanti, A., 2010, p. 274-290.

  Research output: Contribution to conference › Paper › peer-review

• Communication Systems in ClawZ

  Vernon, M., Zeyda, F. & Cavalcanti, A., 2010, p. 334-348.

  Research output: Contribution to conference › Paper › peer-review
• 2009

  Mechanised Translation of Control Law Diagrams into Circus

  Zeyda, F. & Cavalcanti, A., 2009, p. 151-166.

  Research output: Contribution to conference › Paper › peer-review
• 2008

  Encoding it ircus Programs in ProofPowerZ

  Zeyda, F. & Cavalcanti, A., 2008, p. 218-237.

  Research output: Contribution to conference › Paper › peer-review