• search
    search
  • reviewers
    reviewers
  • feeds
    feeds
  • assignments
    assignments
  • settings
  • logout

Abstract Semantic Diffing of Evolving Concurrent Programs.

Ahmed BouajjaniConstantin EneaShuvendu K. Lahiri
Published in: SAS (2017)
Keyphrases