Вы здесь

Wilheln R.

Автор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СТ A Logic-Based Approach to Program Flow Analysis 1998 Sagiv M., Francez N., Rodeh M., Wilheln R. Acta Informatica 11.08.1998