| |
| 2007 | ||
|---|---|---|
| 3 | EE | Simon Fraser, Richard Banach: Configurable Proof Obligations in the Frog Toolkit. SEFM 2007: 361-370 |
| 2005 | ||
| 2 | EE | Richard Banach, Simon Fraser: Retrenchment and the B-Toolkit. ZB 2005: 203-221 |
| 1977 | ||
| 1 | Subrata Dasgupta, Simon Fraser: The Design of Some Language Constructs for Horizontal Microprogramming. ISCA 1977: 10-16 | |
| 1 | Richard Banach | [2] [3] |
| 2 | Subrata Dasgupta | [1] |