![Software engineering / Computing / Computer programming / Adder / Binary logic / Computer arithmetic / Objective-C / Application programming interface / Go Software engineering / Computing / Computer programming / Adder / Binary logic / Computer arithmetic / Objective-C / Application programming interface / Go](https://www.pdfsearch.io/img/5a624ffc7fe111a9acb6e24484516ca4.jpg) Date: 2016-08-22 17:55:56Software 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 diAdd to Reading ListSource URL: mrg.doc.ic.ac.ukDownload Document from Source Website File Size: 431,22 KBShare Document on Facebook
|