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

Paths to Property Violation: A Structural Approach for Analyzing Counter-Examples.

Thomas BochotPierre VirelizierHélène WaeselynckVirginie Wiels
Published in: HASE (2010)
Keyphrases