@inproceedings{conf/sigsoft/TkachukD03,
	title = {Adapting side effects analysis for modular program model checking.},
	author = {Oksana Tkachuk and Matthew B. Dwyer},
	booktitle = {ESEC / SIGSOFT FSE},
	crossref = {conf/sigsoft/2003},
	pages = {188-197},
	publisher = {ACM},
	url = {http://dblp.uni-trier.de/db/conf/sigsoft/fse2003.html#TkachukD03},
	year = {2003},
	biburl = {http://www.bibsonomy.org/bibtex/214359ac9b96a15b0dafc2114d7239fe8/dblp},
	description = {dblp},
	ee = {http://doi.acm.org/10.1145/940071.940097}, date = {2008-05-09},
	keywords = {dblp }
}