1
by Iliescu, Ovidiu., Iliescu, Ovidiu.
Published 2011
Subjects: ...Java (Computer program language)....
View full text
Electronic eBook
2
Published 2005
Table of Contents: ... for Control-Dependence and Slicing for Modern Program Structures -- Summaries for While Programs...
View full text
Electronic eBook
3
Published 2005
Table of Contents: ... Understanding via Interactive, Tailorable, Source Code Analysis -- Kaveri: Delivering the Indus Java Program...
View full text
Electronic eBook
4
Published 2005
Table of Contents: ... -- Verifying Programs with Dynamic 1-Selector-Linked Structures in Regular Model Checking -- Simulation-Based...
View full text
Electronic eBook
5
Table of Contents: ... Sequential Calculus -- Asynchronous Sequential Processes -- A Few Examples -- Semantics and Properties...
View full text
Electronic eBook