Publications for the year 2012 (68 out of 736)

  • Symbolic Quantitative Information Flow

  • Published at: Conference: JPF Workshop at FSE-20; Cary NC
  • Date: 11/09/12
  • Authors: Quoc-Sang Phan, Pasquale Malacaria, Oksana Tkachuk, Corina Pasareanu
  • Abstract Pathfinder

  • Published at: Conference: JPF Workshop at FSE-20; Cary NC
  • Date: 11/09/12
  • Authors: Artem Khyzha, Pavel Parizek, Corina Pasareanu
« Previous 12345 Next »