Static analysis is increasingly recognized as a fundamental reasearch area aimed at studying and ...

This book constitutes the refereed proceedings of the 11th International Conference on Computer I...

This book presents extended versions of papers originally presented and discussed at the 3rd Inte...

This book presents extended versions of papers originally presented and discussed at the 3rd Inte...

This book constitutes the proceedings of the 12th IFIP TC 8 International Conference, CISIM 2013,...

This volume contains the proceedings of the 4th International Conference on Veri?cation, Model Ch...

Security and Protocols.- Combining Abstract Interpretation and Model Checking for Analysing Secur...

This book presents Hyper-lattice, a new algebraic model for partially ordered sets, and an altern...

The book contains the extended version of the works that have been presented and discussed in the...

The book contains the extended version of the works that have been presented and discussed in the...

The book presents high quality research work in cutting edge technologies and most-happening area...

This book contains extended version of selected works that have been discussed and presented in t...