Formal methods have been applied successfully to the verification of medium-sized programs in pro...

Formal methods have been applied successfully to the verification of medium-sized programs in pro...

HIS BOOK CONTAINS a most comprehensive text that presents syntax-directed and compositional metho...

This book constitutes the refereed proceedings of the 18th International Conference on Software E...

This Festschrift volume has been published to celebrate the lifelong scientific achievements of F...

Formal methods have been applied successfully to the verification of medium-sized programs in pro...

Formal methods have been applied successfully to the verification of medium-sized programs in pro...

Active Objects are a programming paradigm that supports a non-competitive, data-driven concurrenc...

This book constitutes the refereed proceedings of the 7th FIP WG 2.2 International Conference, TC...