Radu Mereuta

Member Status: Permanent
E-mail: radu.mereuta@info.uaic.ro

Profesional activities:

Developer for the K-framework.

Publications

2014

2012

2011

Sidebar