@Proceedings{ErascuUlbrich24,
title = {Proceedings of the PhD Symposium at the 19th International Conference
on integrated Formal Methods in Manchester 2024 (iFM 2024)},
editor = {M{\u{a}}d{\u{a}}lina Era{\c{s}}cu and Mattias Ulbrich},
year = {2024},
month = {Nov},
publisher = {CEUR-WS},
url = {https://ceur-ws.org/Vol-3860/}
}
Proceedings of the PhD Symposium at the 19th International Conference on integrated Formal Methods in Manchester 2024 (iFM 2024)
| Herausgeber: | Muadualina Eracscu and Mattias Ulbrich |
|---|---|
| Verleger: | CEUR-WS |
| Jahr: | 2024 |
| Preprint/PDF: | ifm-phd2024.pdf |
| URL: | https://ceur-ws.org/Vol-3860/ |