Вы здесь

Voicu R.

Автор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СТ A Framework for Combining Analysis and Verification 2000 Heintze N., Jaffar J., Voicu R. Papers Presented at the 27th ACM SIGPLAN-SIGACT Symp. on Pinciples of Programming Languages 05.06.2000