70008568

a

70008568 Zhang, Xingyuan Munro, Malcolm Harman, Mark Hu, Lin Mechanized operational semantics of WSL SCAM, 73-82 (2002). 2002 EN

http://doi.ieeecomputersociety.org/10.1109/SCAM.2002.1134107