| |
| 1996 | ||
|---|---|---|
| 4 | Li-Guo Wang: Variable Knowledge Based System. International Hong Kong Computer Society Database Workshop 1996: 381-383 | |
| 1995 | ||
| 3 | Li-Guo Wang, Michael Mendler: Formal design of a class of computers. CHARME 1995: 84-102 | |
| 2 | Li-Guo Wang, Michael Mendler: Abstraction of Hardware Construction. HOA 1995: 264-287 | |
| 1992 | ||
| 1 | Li-Guo Wang: Deriving a Correct Computer. TPHOLs 1992: 449-458 | |
| 1 | Michael Mendler | [2] [3] |