[book]
authors = ["Mark R. Tuttle"]
language = "en"
multilingual = false
src = "src"
title = "CBMC"