Programming languages and software engineering

Tony Andrews, Shaz Qadeer, Sriram Rajamani, Jakob Rehof, Yichen Xie

Proceedings of the 16th International Conference on Computer Aided Verification (CAV 2004). | July 2004

Xiaofei He, Deng Cai, Haifeng Liu, Wei-Ying Ma

MSR-TR-2004-51 | July 2004

Jeremy G. Kahn, Mari Ostendorf, Ciprian Chelba

Proc. of HLT/NAACL | July 2004

Francesco Logozzo

Proceedings of the 10th International Conference on Algebraic Methodology And Software Technology (AMAST 2004) | July 2004

Yi-Min Wang, Binh Vo, Roussi Roussev, Chad Verbowski, Aaron Johnson

MSR-TR-2004-71 | July 2004

James O'Brien, Marc Shapiro,

MSR-TR-2004-64 | July 2004

\urlftp://ftp.research.microsoft.com/pub/tr/TR-2004-64.pdf

I. Abraham, G. Chockler, I. Keider, Dahlia Malkhi

Twenty-Third Annual ACM SIGACT-SIGOPS Symposium on Principles of Distributed Computing (PODC 2004) | July 2004

Robert DeLIne, Manuel Fahndrich

ECOOP 2004 – Object-Oriented Programming | June 2004

ISBN: 978-3-540-24851-4