Radu Mardare

• Models, Algorithms, Logics and Tools