Computer-aided Specification Techniques

This book gives an overview of the works performed by the Computer and Automation Institute of the H...