From Control Law Diagrams to Ada via Circus
A. Cavalcanti‚ P. Clayton and C. O'Halloran
ISSN
0934−5043
Journal
Formal Aspects of Computing
Pages
465−512
Volume
23
Year
2011
A. Cavalcanti‚ P. Clayton and C. O'Halloran