Вы здесь

Giannakopoulou D.

Автор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СТ Learning Assumptions for Compositional Verification 2003 Cobleigh J. M., Giannakopoulou D., Pasareanu C. S. Lecture Notes in Computer Science 17.04.2003
СТ Verification of Liveness Properties Using Compositional Reachability Analysis 1997 Cheung S. C., Giannakopoulou D., Kramer J. Lecture Notes in Computer Science 07.10.1997