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...

projectofmakingVMCAI anannualprivilegedforumfor researchersin the area. Specialthanksareduetothei...

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...