On Friday October 17, this site was moved to a new server, https://mw.hh.se. The original address will continue to work. Whithin a week or two this site will return to the original address. /Peo HH IT-dep
User contributions for Christoph
From WG 2.11
Jump to navigationJump to search
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
