Browse by author
Lookup NU author(s): Dr Jan TušilORCiD
Full text for this publication is not currently held within this repository. Alternative links are provided below where available.
Author(s): Tušil J, Obdrzalek J
Editor(s): Madeira, A; Knapp, A
Publication type: Conference Proceedings (inc. Abstract)
Publication status: Published
Conference Name: 22nd International Conference on Software Engineering and Formal Methods (SEFM 2024)
Year of Conference: 2024
Pages: 200-214
Online publication date: 26/11/2024
Acceptance date: 22/08/2024
ISSN: 0302-9743
Publisher: Springer
URL: https://doi.org/10.1007/978-3-031-77382-2_12
DOI: 10.1007/978-3-031-77382-2_12
Library holdings: Search Newcastle University Library for this item
Series Title: Lecture Notes in Computer Science
ISBN: 9783031773815
