( en | de | ru )

 

  3. Saswat Anand

Saswat Anand

Techniques to facilitate symbolic execution of real-world programs.
. Georgia Institute of Technology, Atlanta, GA, USA, (2012)base-search.net (ftgeorgiatech:oai:smartech.gatech.edu:1853/44733).
  •  :
  •  :
далее