@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}
}