This book constitutes the thoroughly refereed post-conference proceedings of the 25th Internation...

This book focuses on the clarification of what actually a handbook is, the systematic identificat...

Software programs are formal entities with precise meanings independent of their programmers, so ...

This volume constitutes the post-workshop proceedings of the First International Workshop on Form...

This Festschrift, dedicated to Jan Peleska on the occasion of his 65th birthday, contains papers ...

This book constitutes the thoroughly refereed post-conference proceedings of the 23rd IFIP WG 1.3...

This book focuses on the clarification of what actually a handbook is, the systematic identifi...

Software programs are formal entities with precise meanings independent of their programmers, ...

Software programs are formal entities with precise meanings independent of their programmers, ...

This volume constitutes the post-workshop proceedings of the First International Workshop on Form...

This book constitutes the thoroughly refereed post-conference proceedings of the 23rd IFIP WG ...