dblp.uni-trier.dewww.dagstuhl.dewww.uni-trier.de

T. J. Halloran Coauthor index pubzone.org

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

DBLP keys2005
2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAaron Greenhouse, T. J. Halloran, William L. Scherlis: Observations on the assured evolution of concurrent Java programs. Sci. Comput. Program. 58(3): 384-411 (2005)
2003
1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAaron Greenhouse, T. J. Halloran, William L. Scherlis: Using Eclipse to demonstrate positive static assurance of Java program concurrency design intent. OOPSLA Workshop on Eclipse Technology eXchange 2003: 99-103

Coauthor Index

1Aaron Greenhouse [1] [2]
2William L. Scherlis (Bill Scherlis) [1] [2]

Last update Fri Jun 1 15:44:53 2012 CET by the DBLP TeamThis material is Open Data Data released under the ODC-BY 1.0 license — See also our legal information page