Для цитирования:

Пакулин Н.В., Тугаенко А.Н. Тестирование протоколов электронной почты Интернета с использованием моделей. Труды Института системного программирования РАН. 2011;20.

For citation:

Pakulin N.V., Tugaenko A.N. Model-based testing of Internet Mail Protocols. Proceedings of the Institute for System Programming of the RAS (Proceedings of ISP RAS). 2011;20. (In Russ.)