A success story of verifying a real complex protocol Academic Article uri icon

publication date

  • January 1997