EVEN: A software environment for Estelle specification verification Academic Article uri icon

authors

publication date

  • November 1997