36th International Conference on Software Engineering (ICSE Companion 2014), May 31 – June 7, 2014, Hyderabad, India

Desktop Layout
Thu, June 5, 2014
10:30 – 12:30
Automated Programming Support
Formal Demonstrations
MR.G.1-3, Chair: Andrew Begel

Time stamp: 2019-05-25T18:56:24+02:00