- CSB - MetaPress - Google - Bing - Yahoo
 | 2009 | |
|---|---|---|
| 3 |      | Juan Ignacio Perna, Jim Woodcock: Mechanised Wire-wise Verification of Handel-C Synthesis. Electr. Notes Theor. Comput. Sci. 240: 201-219 (2009) |
| 2007 | ||
| 2 | | Juan Ignacio Perna, Jim Woodcock: A Denotational Semantics for Handel-C Hardware Compilation. ICFEM 2007: 266-285 |
| 1 | | Juan Ignacio Perna, Chris George: Model Checking RAISE Applicative Specifications. SEFM 2007: 257-268 |
| 1 | Chris George | [1] |
| 2 | Jim Woodcock (J. C. P. Woodcock) | [2] [3] |