Max Goldman, Shmuel Katz
MAVEN: Modular Aspect Verification
TACAS, 2007.
@inproceedings{TACAS-2007-GoldmanK, author = "Max Goldman and Shmuel Katz", booktitle = "{Proceedings of the 13th International Conference on Tools and Algorithms for the Construction and Analysis of Systems}", doi = "10.1007/978-3-540-71209-1_24", isbn = "978-3-540-71208-4", pages = "308--322", publisher = "{Springer International Publishing}", series = "{Lecture Notes in Computer Science}", title = "{MAVEN: Modular Aspect Verification}", volume = 4424, year = 2007, }