This volume presents the set of papers accompanying the lectures of the eighth International School on Formal Methods for ...
Continue readingThe book also contains three keynote speeches and contributions to workshops, symposia, tutorials and panels at the conference. ...
Continue reading