Eden Burton, Emil Sekerinski
Correctness of intrusive data structures using mixins
CBSE, 2013.
@inproceedings{CBSE-2013-BurtonS, author = "Eden Burton and Emil Sekerinski", booktitle = "{Proceedings of the 16th International Symposium on Component-Based Software Engineering}", doi = "10.1145/2465449.2465466", isbn = "978-1-4503-2122-8", pages = "53--58", publisher = "{ACM}", title = "{Correctness of intrusive data structures using mixins}", year = 2013, }