- CSB - MetaPress - Google - Bing - Yahoo
 | 1996 | |
|---|---|---|
| 4 |      | Mats Larsson: Improving the Result of High-Level Synthesis Using Interactive Transformational Design. TPHOLs 1996: 299-314 |
| 1995 | ||
| 3 |  | Mats Larsson: An Engineering Approach to Formal Digital System Design. Comput. J. 38(2): 101-110 (1995) |
| 1994 | ||
| 2 | | Mats Larsson: An Engineering Approach to Formal Digital System Design. TPHOLs 1994: 300-315 |
| 1 | | Mats Larsson: Towards amalgamating high-level synthesis and proof systems. Microprocessing and Microprogramming 40(10-12): 909-912 (1994) |