TEVFİK B., BETİN CAN A.
Verified Software: Theories, Tools, Experiments, Zürich, Switzerland, 10 - 13 November 2005, pp.337-346