Книги

Кларк Э.М. Мл., Грамберг О, Пелед Д.

Верификация моделей программ: Model checking

Москва: Московский центр непрерывного математического образования, 2002. 416 стр. (твёрдый переплёт)

ISBN 978-5-94057-054-7