Encoding it ircus Programs in ProofPowerZ

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

Access to Document

ProCLaws: Programming from Control Laws
Cavalcanti, A. L. C.
EPSRC
1/07/07 → 30/09/11
Project: Research project (funded) › Research