For Methods for Development of Critical Software

Источник:

Lecture Materials, National Aerospace University Institute “KhAI”, Kharkiv (2009)