Menu_Home Home   Menu_Latest Latest   Menu_Search Advanced Search   Menu_Browse_by_Year By Year   Menu_Browse_by_Division By Division
Screen decoration graphicsLogo

Mechanized Operational Semantics of WSL

Zhang, Xingyuan and Munro, Malcolm and Harman, Mark and Hu, Lin (2002) Mechanized Operational Semantics of WSL. In: IEEE International Workshop on Source Code Analysis and Manipulation (SCAM 2002).

Full text not available from this repository.

Item Type:Conference or Workshop Item (Paper)
ID Code:420
Deposited By:Prof Mark Harman
Deposited On:06 Nov 2007 11:11
Last Modified:06 Nov 2007 11:11

Repository Staff Only: item control page