C Code Verification based on the Extended Labeled Transition System Model
(2016) : Wang, Dexi et al
url: http://ceur-ws.org/Vol-1725/demo7.pdf
#c_lang #SMT #Ceagle #z3 #labeled_transition_system #my_bibtex