Login / Signup

Verification of the ISO ACSE protocol using Deductive Machine.

Richard LaiXiaobo Li
Published in: J. Syst. Softw. (1997)
Keyphrases