DaftarIsitemplate

Call Number

SEM-297

Title

Formalization of TLA + in HOL Theorem Prover (419-422)

Author

Iis Solichah Ade Azurat;

Publisher

Subject

Location