APA (7th ed.) Citation

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

Chicago Style (17th ed.) Citation

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

MLA (9th ed.) Citation

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