Proceedings of the 7th International Conference “Perspectives of System Informatics”, June 15-19, 2009, Novosibirskсборник

Статьи, опубликованные в сборнике

---

• • 2009 Anti-unification algorithms and their applications in program analysis
  • Bulychev P.E., Kostylev E.V., Zakharov V.A.
  • в сборнике Proceedings of the 7th International Conference “Perspectives of System Informatics”, June 15-19, 2009, Novosibirsk, серия Lecture Notes in Computer Science, место издания Springer, том 5947, с. 413-424
• • 2009 Establishing Linux Driver Verification Processes
  • Khoroshilov A., Petrenko A., Mutilin V., Zakharov V.A.
  • в сборнике Proceedings of the 7th International Conference “Perspectives of System Informatics”, June 15-19, 2009, Novosibirsk, серия Lecture Notes in Computer Science, место издания Springer, том 5947, с. 165-176