>	general info	>
>	publications	>

Bashar Ahmad, MSc.

Former member of RISC

Working area: Formal Methods

Phone:	none
Web:	http://www.risc.jku.at/home/bahmad/