@phdthesis{krebbers2015c,
author = {Krebbers, Robbert Jan},
date-added = {2020-11-15 23:36:57 -0800},
date-modified = {2020-11-15 23:36:57 -0800},
school = {[Sl: sn]},
title = {The C standard formalized in Coq},
year = {2015},
bdsk-file-1 = {YnBsaXN0MDDSAQIDBFxyZWxhdGl2ZVBhdGhZYWxpYXNEYXRhXxAacGFwZXJzL2tyZWJiZXJzMjAxNWMtYS5wZGZPEQF0AAAAAAF0AAIAAAxNYWNpbnRvc2ggSEQAAAAAAAAAAAAAAAAAAAAAAAAAQkQAAf////8Ta3JlYmJlcnMyMDE1Yy1hLnBkZgAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA/////wAAAAAAAAAAAAAAAAABAAMAAAogY3UAAAAAAAAAAAAAAAAABnBhcGVycwACADkvOlVzZXJzOmdhbWJsaW4yOnNyYzpidWlsZC1iaWI6cGFwZXJzOmtyZWJiZXJzMjAxNWMtYS5wZGYAAA4AKAATAGsAcgBlAGIAYgBlAHIAcwAyADAAMQA1AGMALQBhAC4AcABkAGYADwAaAAwATQBhAGMAaQBuAHQAbwBzAGgAIABIAEQAEgA3VXNlcnMvZ2FtYmxpbjIvc3JjL2J1aWxkLWJpYi9wYXBlcnMva3JlYmJlcnMyMDE1Yy1hLnBkZgAAEwABLwAAFQACAA///wAAAAgADQAaACQAQQAAAAAAAAIBAAAAAAAAAAUAAAAAAAAAAAAAAAAAAAG5}
}