@book{jacobs2017introduction,
title = {Introduction to coalgebra},
author = {Jacobs, Bart},
volume = {59},
year = {2017},
publisher = {Cambridge University Press}
}
@article{ellison2012executable,
title = {An executable formal semantics of C with applications},
author = {Ellison, Chucky and Rosu, Grigore},
journal = {ACM SIGPLAN Notices},
volume = {47},
number = {1},
pages = {533--544},
year = {2012},
publisher = {ACM New York, NY, USA}
}
This file was generated by bibtex2html 1.99.