The CamilleX Framework for the Rodin Platform

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

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

2021 ◽

pp. 124-129

Author(s):

Thai Son Hoang ◽

Colin Snook ◽

Dana Dghaym ◽

Asieh Salehi Fathabadi ◽

Michael Butler

Download Full-text