Controller verification meets controller code: a case study.

Felix Freiberger, Stefan Schupp, Holger Hermanns, Erika brahm

Browse the full MEMOCODE paper archive.