Normal view
MARC view
- Smith, Graeme P
Smith, Graeme P (Имя лица)
Machine generated authority record.
Work cat.: (RU-ToGU): Romijn, Judi M. T. 323467, Integrated Formal Methods, 2005