Radhia Cousot
Abstract Interpretation of Non-monotone Bi-inductive Semantic Definitions
VMCAI, 2008.
@inproceedings{VMCAI-2008-Cousot, author = "Radhia Cousot", booktitle = "{Proceedings of the Ninth International Conference on Verification, Model Checking and Abstract Interpretation}", doi = "10.1007/978-3-540-78163-9_1", isbn = "978-3-540-78162-2", pages = "1--3", publisher = "{Springer International Publishing}", series = "{Lecture Notes in Computer Science}", title = "{Abstract Interpretation of Non-monotone Bi-inductive Semantic Definitions}", volume = 4905, year = 2008, }