Relational Mathematics for Relative Correctness

Relational and Algebraic Methods in Computer Science - Lecture Notes in Computer Science ◽

10.1007/978-3-319-24704-5_12 ◽

2015 ◽

pp. 191-208 ◽

Cited By ~ 5

Author(s):

Jules Desharnais ◽

Nafi Diallo ◽

Wided Ghardallou ◽

Marcelo F. Frias ◽

Ali Jaoua ◽

...