Modeling and Verifying DML Triggers Using Event-B

Intelligent Information and Database Systems - Lecture Notes in Computer Science ◽

10.1007/978-3-642-36543-0_55 ◽

2013 ◽

pp. 539-548

Author(s):

Hong Anh Le ◽

Ninh Thuan Truong

Download Full-text