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