Статья

Архив Материалы по вычислительной технике и программному обеспечению ЭВМ Статьи о развитии программирования

Статья

Статья

"Using Symbolic Execution to Characterize Behavior". Авторы - D.Cohen. W.Swartout? R.Balzer.

Дата:

26.11.1987

Авторы:

Роберт М. Балзер