Extensible Record Structures in Event-B

Rigorous State-Based Methods - Lecture Notes in Computer Science ◽

10.1007/978-3-030-77543-8_12 ◽

2021 ◽

pp. 130-136

Author(s):

Asieh Salehi Fathabadi ◽

Colin Snook ◽

Thai Son Hoang ◽

Dana Dghaym ◽

Michael Butler

Download Full-text