Li-Guo Wang

	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

Coauthor Index

1

Michael Mendler

[2] [3]