Theory and Formal Methods 1993 provides an overview of work done by one of the world's leading research centres. It will be of interest to researchers and practitioners, as well as undergraduate and postgraduate students.
"{{ opinion }}"