Normal view
MARC view
- Păsăreanu, Corina S.
Păsăreanu, Corina S. (Nombre personal)
Model checking software, 2009: t.p. (Corina S. Păsăreanu)