Salim K. Vanak

发表

Florentin Ipate, Mike Holcombe, Kirill Bogdanov, 2006, Formal Aspects of Computing.

Salim K. Vanak, 2000, Proceedings Computer Graphics International 2000.