Well-structured program equivalence is highly undecidable Academic Article uri icon

publication date

  • August 2012