Programming languages and software engineering

Bo Fang, Guobin Shen, Shipeng Li, Huifang Chen

May 2005

Raghavan Komondoor, G. Ramalingam, Satish Chandra, John Field

International Conference on Tools and Algorithms for the Construction and Analysis of Systems | April 2005

Hillel Kugler, David Harel, Amir Pnueli, Yuan Lu, Yves Bontemps

April 2005

Li Zhang

Proceedings of 32nd International Colloquium on Automata, Languages and Programming | April 2005

Nick Benton, Benjamin Leperchey

Proceedings of the 7th International Conference on Typed Lambda Calculi and Applications (TLCA ’05) | April 2005

Yi-Min Wang, Doug Beck, Jeffrey Wang, Chad Verbowski, Brad Daniels

MSR-TR-2005-178 | April 2005

Cormac Flanagan, Shaz Qadeer

Proceedings of the International Symposium on Software Testing and Analysis (ISSTA 2004). | April 2005

Raghavan Komondoor, G. Ramalingam, Satish Chandra, John Field

In Eleventh International Conference on Tools and Algorithms for the Construction and Analysis of Systems | April 2005

Andrew Baumann, Jeremy Kerr, Jonathan Appavoo, Dilma Da Silva, Orran Krieger, Robert W. Wisniewski

Proceedings of the 6th Linux.Conf.Au | April 2005

Proceedings of the 6th Linux.Conf.Au

Andrew Baumann, Gernot Heiser, Jonathan Appavoo, Dilma Da Silva, Orran Krieger, Robert W. Wisniewski, Jeremy Kerr

Proceedings of the 2005 Annual USENIX Technical Conference | April 2005