Computer Software
Print ISSN : 0289-6540
Introduction to Lightweight Program Verifier ESC/Java2
Shin NAKAJIMA
Author information
JOURNAL FREE ACCESS

2007 Volume 24 Issue 2 Pages 2_2-2_7

Details
Download PDF (110K)
Download citation RIS

(compatible with EndNote, Reference Manager, ProCite, RefWorks)

BIB TEX

(compatible with BibDesk, LaTeX)

Text
How to download citation
Contact us
Article 1st page
Content from these authors
© Japan Society for Software Science and Technology 2007
Previous article Next article
Favorites & Alerts

Recently viewed articles
Share this page
feedback
 Top