Russian ⇄ English

конференция по высоконадёжному программному обеспечению stresses
progr.	high-integrity software conference (с подтверждением корректного написания исходного кода, правильного взаимодействия компонентов, отсутствия скрытых ошибок, заплаток и неавторских модификаций; корпорации AdaCore Alex_Odeychuk)