1
Published 2007
Table of Contents: ... for the Analysis of Java Programs -- Verification of UML State Diagrams Using Concurrent State Machines -- Aspect...
View full text
Electronic eBook