Modeling and Verifying DML Triggers Using Event-B

• Main Authors: Le, Hong Anh, Truong, Ninh Thuan
• Format: Book Part
• Language: unknown
• Published: Springer Berlin Heidelberg 2013
• Subjects: DML
• Online Access: http://dx.doi.org/10.1007/978-3-642-36543-0_55; http://link.springer.com/content/pdf/10.1007/978-3-642-36543-0_55