Li-Guo Wang

Publication Activity (10 Years)

Years Active: 1992-1996
Publications (10 Years): 0

University of Edinburgh, UK (PHD)

Education History

University of Edinburgh, UK

PHD

Publications

Li-Guo Wang
Variable Knowledge Based System. International Hong Kong Computer Society Database Workshop (1996)
Li-Guo Wang, Michael Mendler
Formal design of a class of computers. CHARME (1995)
Li-Guo Wang, Michael Mendler
Abstraction of Hardware Construction. HOA (1995)
Li-Guo Wang
Deriving a Correct Computer. TPHOLs (1992)