This book constitutes the refereed proceedings of the 2nd International Symposium on Software Fau...

Inhaltsangabe1 Introduction.- 2 Propositional Logic.- 3 Predicate Logic.- 4 The Module.- 5 Hierar...

This book constitutes revised selected papers from the Third International Workshop on Structured...

This book constitutes the thoroughly refereed post-workshop proceedings of the 5th International ...

This book constitutes the thoroughly refereed post-conference proceedings of the Second Internati...

Rezension'The book addresses many important practical problems in a formal context''I highly ...

InhaltsangabeTesting and Inspection.- An Implementation Framework for Optimizing Test Case Genera...

This book constitutes the refereed proceedings of the 18th International Conference on Formal Eng...

This book constitutes revised selected papers from the 6th International Workshop on Structures O...

This book constitutes the thoroughly refereed workshop proceedings of the 7th International Works...

This book constitutes the thoroughly refereed workshop proceedings of the 8th International Works...

This book constitutes the thoroughly refereed workshop proceedings of the 9th International Works...