%0 Conference Paper %1 conf/setta/ZhangZSQZ19 %A Zhang, Yu %A Zhao, Yongwang %A Sanán, David %A Qiao, Lei %A Zhang, Jinkun %B SETTA %D 2019 %E Guan, Nan %E Katoen, Joost-Pieter %E Sun, Jun %I Springer %K dblp %P 122-138 %T A Verified Specification of TLSF Memory Management Allocator Using State Monads. %U http://dblp.uni-trier.de/db/conf/setta/setta2019.html#ZhangZSQZ19 %V 11951 %@ 978-3-030-35540-1

@inproceedings{conf/setta/ZhangZSQZ19, added-at = {2019-11-18T00:00:00.000+0100}, author = {Zhang, Yu and Zhao, Yongwang and Sanán, David and Qiao, Lei and Zhang, Jinkun}, biburl = {https://www.bibsonomy.org/bibtex/25effa5df0dbbca316e2704abc252f768/dblp}, booktitle = {SETTA}, crossref = {conf/setta/2019}, editor = {Guan, Nan and Katoen, Joost-Pieter and Sun, Jun}, ee = {https://doi.org/10.1007/978-3-030-35540-1_8}, interhash = {4e70538654fa75c043bbb8a7b76ad699}, intrahash = {5effa5df0dbbca316e2704abc252f768}, isbn = {978-3-030-35540-1}, keywords = {dblp}, pages = {122-138}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-11-19T11:42:49.000+0100}, title = {A Verified Specification of TLSF Memory Management Allocator Using State Monads.}, url = {http://dblp.uni-trier.de/db/conf/setta/setta2019.html#ZhangZSQZ19}, volume = 11951, year = 2019 }