2019 IEEE/ACM 7th International Conference on Formal Methods in Software Engineering (FormaliSE). IEEE.
Цитирование в стиле Чикаго (17-е изд.)2019 IEEE/ACM 7th International Conference on Formal Methods in Software Engineering (FormaliSE). IEEE.
Цитирование MLA (8-е изд.)2019 IEEE/ACM 7th International Conference on Formal Methods in Software Engineering (FormaliSE). IEEE.
Предупреждение: эти цитированмия не могут быть всегда правильны на 100%.