Author
kung chen
Shu-Chun Weng
Jia-Yin Lin
Meng Wang
Chalmers, Computer Science and Engineering (Chalmers), Software Engineering (Chalmers)
Siau-Cheng Khoo
Higher-Order and Symbolic Computation
1388-3690 (ISSN) 1573-0557 (eISSN)
Areas of Advance
Information and Communication Technology
Subject Categories
Software Engineering
DOI
10.1007/s10990-011-9073-0