Четвертая международная конференция «Инструменты и методы анализа программ» — это крупнейшая научно-практическая конференция по анализу, тестированию и верификации программного обеспечения в России, нацеленная на развитие индустрии разработки программного обеспечения и внедрение новейших разработок в области тестирования, анализа и верификации программ. У участию приглашаются студенты старших курсов, аспиранты, молодые ученые, преподаватели, научные сотрудники и сотрудники технологических […]...