Works matching IS 21667160 AND DT 2021 AND VI 9 AND IP 4

Formal Analysis of Database Trigger Systems Using Event-B.

Published in:

International Journal of Software Innovation, 2021, v. 9, n. 4, p. 1, doi. 10.4018/ijsi.289169

By:

• Le, Anh Hong;
• Van Khanh, To;
• Thuan, Truong Ninh

Publication type:

Article