Viktor Vafeiadis
RGSep Action Inference
VMCAI, 2010.
@inproceedings{VMCAI-2010-Vafeiadis, author = "Viktor Vafeiadis", booktitle = "{Proceedings of the 11th International Conference on Verification, Model Checking and Abstract Interpretation}", doi = "10.1007/978-3-642-11319-2_25", isbn = "978-3-642-11318-5", pages = "345--361", publisher = "{Springer International Publishing}", series = "{Lecture Notes in Computer Science}", title = "{RGSep Action Inference}", volume = 5944, year = 2010, }