Learn and Test for Event-B – A Rodin Plugin

Abstract State Machines, Alloy, B, VDM, and Z - Lecture Notes in Computer Science ◽

10.1007/978-3-642-30885-7_32 ◽

2012 ◽

pp. 361-364 ◽

Author(s):

Ionut Dinca ◽

Florentin Ipate ◽

Laurentiu Mierla ◽

Alin Stefanescu

Download Full-text