%0 Generic %A Eusterbrock, Jutta, %T Synthesizing Safety Conditions for Code Certification Using Meta-Level Programming. %U http://hdl.handle.net/2060/20040081067