@inproceedings{LanzingerUlbrichWeigl22,
author = {Florian Lanzinger and Mattias Ulbrich and Alexander Weigl},
title = {A Refactoring for Data Minimisation Using Formal Verification},
booktitle = {Leveraging Applications of Formal Methods, Verification and Validation.
Software Engineering (ISoLA) 2022},
series = {Lecture Notes in Computer Science},
volume = {13702},
pages = {345--364},
publisher = {Springer},
year = {2022},
doi = {10.1007/978-3-031-19756-7\_19},
url = {https://doi.org/10.1007/978-3-031-19756-7_19}
}
A Refactoring for Data Minimisation Using Formal Verification
| Author(s): | Florian Lanzinger, Mattias Ulbrich, and Alexander Weigl |
|---|---|
| In: | Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering (ISoLA) 2022 |
| Publisher: | Springer |
| Series: | Lecture Notes in Computer Science |
| Volume: | 13702 |
| Year: | 2022 |
| Pages: | 345-364 |
| Preprint/PDF: | isola22_DataMinimisation.pdf |
| URL: | https://doi.org/10.1007/978-3-031-19756-7_19 |
| DOI: | 10.1007/978-3-031-19756-7_19 |
| Links: | The final publication is available at Springer. |