E. M. Clarke

1 published title

Perspectives of systems informatics : 8th international Ershov informatics conference, PSI 2011, Novosibirsk, Russia, June 27-July 1, 2011, revised selected papers

(Contributor)

1 edition