Verification of the ISO ACSE protocol using Deductive Machine Academic Article uri icon

publication date

  • December 1997