The focus of this workshop was the development of mathematically-based techniques of formal specification of system behaviour, and the systematic development of

This volume contains the proceedings of the third workshop of the Theory and Formal Methods Section of the Department of Computing, Imperial College, London. It

This book constitutes a refereed post-workshop selection of papers presented at the 6th International Workshop on Computer-Aided Systems Theory, EUROCAST'97, he

This book presents a collection of revised refereed papers selected from the contributions to the Fifth International Workshop on Computer Aided Systems Theory,

This book constitutes the refereed proceedings of the Eighth International Symposium on Programming Languages, Implementations, Logics, and Programs, PLILP '96,