@inproceedings{ICSM-1994-AngerRY,
	author        = "Frank D. Anger and Rita V. Rodríguez and Michal Young",
	booktitle     = "{Proceedings of the 10th International Conference on Software Maintenance}",
	editor        = "Hausi A. Müller and Mari Georges",
	isbn          = "0-8186-6330-8",
	pages         = "89--98",
	publisher     = "{IEEE Computer Society}",
	title         = "{Combining Static and Dynamic Analysis of Concurrent Programs}",
	year          = 1994,
}