Publication: D - Abstracts of IEICE TRANSACTIONS on Information and Systems (Japanese Edition)
Publication Date: 2006/04/01
Vol. J89-D
No. 4
pp. 693-704
Type of Manuscript: Special Section PAPER (Special Issue on Formal Approaches)
Category:
Keyword:
JavaScript,
type checking,
theorem prover,
MGTP,
|
