User contributions for Christoph

3 June 2012

• 20:0820:08, 3 June 2012 diff hist +471 WG211/M11Herrmann No edit summary current
• 19:4819:48, 3 June 2012 diff hist +102 WG211/M11Herrmann No edit summary
• 19:3719:37, 3 June 2012 diff hist +1,276 N WG211/M11Herrmann Created page with "I will present a new aspect of software engineering which involves the automatic derivation of program properties during generation of low-level programs (assembly code for an a..."
• 18:3418:34, 3 June 2012 diff hist +96 WG211/M11Schedule No edit summary