Back to Results
First PageMeta Content
Software engineering / Computing / Computer programming / Adder / Binary logic / Computer arithmetic / Objective-C / Application programming interface / Go


Hybrid Session Verification through Endpoint API Generation Raymond Hu and Nobuko Yoshida Imperial College London Abstract. This paper proposes a new hybrid session verification methodology for applying session types di
Add to Reading List

Document Date: 2016-08-22 17:55:56


Open Document

File Size: 431,22 KB

Share Result on Facebook