Formal Verification of Embedded Java Program
Vol. 12, No. 7, pp. 931-936, Dec. 2005
10.3745/KIPSTD.2005.12.7.931
Abstract
Statistics
|
Cite this article
[IEEE Style]
T. H. Lee and G. H. Kwon, "Formal Verification of Embedded Java Program," The KIPS Transactions:PartD, vol. 12, no. 7, pp. 931-936, 2005. DOI: 10.3745/KIPSTD.2005.12.7.931.
[ACM Style]
Tae Hoon Lee and Gi Hwon Kwon. 2005. Formal Verification of Embedded Java Program. The KIPS Transactions:PartD, 12, 7, (2005), 931-936. DOI: 10.3745/KIPSTD.2005.12.7.931.