Article ID | Journal | Published Year | Pages | File Type |
---|---|---|---|---|
10328907 | Electronic Notes in Theoretical Computer Science | 2005 | 20 Pages |
Abstract
This paper presents the underlying method, describes an analysis tool for Java programs and shows results of an initial case study.
Related Topics
Physical Sciences and Engineering
Computer Science
Computational Theory and Mathematics
Authors
Jochen Kreimer,