Proving symmetries by model transformation Conference Paper uri icon

publication date

  • 2011