Inscriere cercetatori

Facebook

VISSAS 2005, NATO Advanced Research Workshop „Verification of infinite-state systems with applications to security”

Timisoara, March 17-22, 2005.

Details at

http://vissas.ieat.ro