Summary
This is a publication. If there is no link to the publication on this page, you can try the pre-formated search via the search engines listed on this page.
Authors: Szymczak, Marcin; Katoen, Joost-Pieter
Journal title: Tutorial Lectures 5th International School on Engineering Trustworthy Software Systems
Journal number: 12154
Journal publisher: Springer
Published year: 2019
Published pages: 44--121
DOI identifier: 10.1007/978-3-030-55089-9_3