Кларк Э.М., Грамберг О., Д. Пелед Верификация моделей программ. Model Checking Model Checking.
Привет! Хочешь стать одним из нас? Определись
Если ты уже один из нас, то вход тут.
Ни одному самцу ягуара никогда еще не удавалась случка с тигрицей. Если бы такое скрещивание было возможно, получился бы ягуигр.
комментариев нет