Marco Eilers, Peter Müller 0001
Nagini: A Static Verifier for Python
CAV, 2018.
@inproceedings{CAV-2018-Eilers0, author = "Marco Eilers and Peter Müller 0001", booktitle = "{Proceedings of the 30th International Conference on Computer Aided Verification, Part I}", doi = "10.1007/978-3-319-96145-3_33", isbn = "['978-3-319-96144-6', '978-3-319-96145-3']", pages = "596--603", publisher = "{Springer}", title = "{Nagini: A Static Verifier for Python}", year = 2018, }