FPTC: Automated Safety Analysis for Domain-Specific Languages Conference Paper uri icon

  •  
  • Overview
  •  
  • Research
  •  
  • Identity
  •  
  • Additional Document Info
  •  
  • View All
  •  

authors

  • Paige, Richard
  • Rose, Louis M
  • Ge, Xiaocheng
  • Kolovos, Dimitrios S
  • Brooke, Phillip J

publication date

  • 2009