|
|
PHD Thesis:
[
Unknown
--
1997
]
Formal Method Integration via Heterogeneous Notations
2003:
- E.C.R.Hehner, T.S.Norvell, and R.F.Paige.
`` High-Level Circuit Design'', chapter 18 in Programming Methodology, pp. 318-412, 2003
PS
PDF
Abstract
previous:
- R.F.Paige and E.C.R.Hehner.
`` Bunches for Object-Oriented, Concurrent, and Real-Time Specification'', in FM'99 World Congress on Formal Methods, Toulouse, France, pp. 530-550, 1999
PS
PDF
Abstract
|
