| |
| 1996 | ||
|---|---|---|
| 3 | Mats Larsson: Improving the Result of High-Level Synthesis Using Interactive Transformational Design. TPHOLs 1996: 299-314 | |
| 1995 | ||
| 2 | Mats Larsson: An Engineering Approach to Formal Digital System Design. Comput. J. 38(2): 101-110 (1995) | |
| 1994 | ||
| 1 | Mats Larsson: An Engineering Approach to Formal Digital System Design. TPHOLs 1994: 300-315 | |