רוסית ⇄ אנגלית

формальные методы обеспечения качества программных систем מתח
	model checking (Alex_Odeychuk)