Authors on this page:
Hongwei Xi
- Paper: Hongwei Xi
Imperative Programming with Dependent Types (LICS 2000) More Information... - Paper: Hongwei Xi
Dependent Types for Program Termination Verification (LICS 2001) More Information...
Xinxin, L.
- Paper: Larsen, K.G. Xinxin, L.
Equation solving using modal transition systems (LICS 1990) More Information...