Formal methods for the specification and verification of hardware and software systems are becomi...
This book constitutes the refereed proceedings of the 29th International Conference on Applicatio...
Formal methods for the specification and verification of hardware and software systems are becomi...
This book constitutes an anthology of refereed papers arranged to acknowledge the work of Wilfrie...
Formal methods for the specification and verification of hardware and software systems are becomi...
Das Buch ist hervorgegangen aus Vorlesungen, die wir an der Universität Hamburg gehalten haben. D...
This book constitutes the refereed proceedings of the 29th International Conference on Applicatio...
Die Gesellschaft fOr Informatik fOhrt ihre 18. Jahrestagung an der Universitat Hamburg durch. Der...
Die Gesellschaft fOr Informatik fOhrt ihre 18. Jahrestagung an der Universitat Hamburg durch. Der...