User contributions
From WG 2.11
- 19:08, 3 June 2012 (diff | hist) . . (+471) . . WG211/M11Herrmann (current)
- 18:48, 3 June 2012 (diff | hist) . . (+102) . . WG211/M11Herrmann
- 18: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...")
- 17:34, 3 June 2012 (diff | hist) . . (+96) . . WG211/M11Schedule
