>	general info	>
>	publications	>

Franz Lichtenberger, Dr.

Former member of RISC

Working area: Formal Methods, Mathematics Education

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