Nugymanova A.

Suggest Changes
Learn More
  • OXAN, AFFAR, +7 authors ANTOSA
  • 2012
Recentlysymbolic execution ( SE) [15] has been successfully proven to be an alternative to CEGAR for program verification offering the following benefits amo ng others [12, 18]: (1) it does not(More)
  • G F., IANOTTI, +201 authors Z P.M.
  • 2004
Physics at the Large Hadron Collider (LHC) and the International e+e− Linear Collider (ILC) will be complementary in many respects, as has been demonstrated at previous generations of hadron and(More)