ETH Zürich - Feasibility Lab
Technoparkstrasse 1
8005 Zürich
26 Ergebnisse für "deline" unter ETH Zürich - Feasibility Lab
... Evan Chang, Robert DeLine, Bart Jacobs, and K. Rustan M. Leino. Boogie: A modular reusable verifier for ... object-oriented programs. In LNCS, volume 4111. Springer, 2006. [2] Mike Barnett, Robert DeLine, Manuel ... Evan Chang, Robert DeLine, Bart Jacobs, and K. Rustan M. Leino. Boogie: A modular reusable verifier for ... object-oriented programs. In LNCS, volume 4111. Springer, 2006. [2] Mike Barnett, Robert DeLine, Manuel ...
Chair of Software Engineering, ETH Zurich, teaching
... Venolia and Robert DeLine: Maintaining mental models: a study of developer work habits . In ICSE '06 ... Venolia and Robert DeLine: Maintaining mental models: a study of developer work habits . In ICSE '06 ...
ETH Zürich - Numerische Materialmodellierung
8005 Zürich, Technoparkstrasse 1 / Einstein PFA G 11 (2. OG)
ETH Zürich - Numerische Materialmodellierung
Technoparkstrasse 1
8005 Zürich
33 Ergebnisse für "deline" unter ETH Zürich - Numerische Materialmodellierung
ESEC/FSE 2013 - Program Chairs
... Boyapati , Google, USA Vittorio Cortellessa , Università dell'Aquila, Italy Robert DeLine , Microsoft, USA ...
A Certified Multi-Language Multi-prover Verification Condition Generator
... University Press, 1996. 2. M. Barnett, R. DeLine, B. Jacobs, B.-Y. E. Chang, and K. R. M. Leino. Boogie: A ... University Press, 1996. 2. M. Barnett, R. DeLine, B. Jacobs, B.-Y. E. Chang, and K. R. M. Leino. Boogie: A ...
