This volume presents a collection of revised refereed papers selected from the presentations at the Fourth International Workshop on Computer Aided Systems Theo
This book constitutes a refereed post-workshop selection of papers presented at the 6th International Workshop on Computer-Aided Systems Theory, EUROCAST'97, he