Ruzica Piskac
New Applications of Software Synthesis: Verification of Configuration Files and Firewall Repair
SAS, 2018.
@inproceedings{SAS-2018-Piskac,
author = "Ruzica Piskac",
booktitle = "{Proceedings of the 25th International Static Analysis Symposium}",
doi = "10.1007/978-3-319-99725-4_6",
isbn = "['978-3-319-99724-7', '978-3-319-99725-4']",
pages = "71--76",
publisher = "{Springer}",
title = "{New Applications of Software Synthesis: Verification of Configuration Files and Firewall Repair}",
year = 2018,
}
Tags: