Conc2Seq: A Frama-C Plugin for Verification of Parallel Compositions of C Programs | IEEE Conference Publication | IEEE Xplore