APA Цитирование

Кларк младший Эдмунд М., Грамберг Орна, Пелед Дорон, Захаров, В., Кончаков, Р., Царьков, Д., & Смелянский, Р. (2002). Верификация моделей программ: Model Checking: Монография: Пер. с англ. МЦНМО.

Chicago-стиль цитирования

Кларк младший Эдмунд М., Грамберг Орна, Пелед Дорон, В Захаров, Р Кончаков, Д Царьков, and Р Смелянский. Верификация моделей программ: Model Checking: Монография: Пер. с англ. М.: МЦНМО, 2002.

MLA-цитирование

Кларк младший Эдмунд М., et al. Верификация моделей программ: Model Checking: Монография: Пер. с англ. МЦНМО, 2002.