Search results for: Jacques Loeckx
Lecture Notes in Computer Science > KORSO: Methods, Languages, and Tools for the Construction of Correct Software > 255-267
Lecture Notes in Computer Science > KORSO: Methods, Languages, and Tools for the Construction of Correct Software > 255-267