![Software engineering / Computer programming / Computing / GNUstep / NeXT / Objective-C / Application programming interface / Transmission Control Protocol / Go Software engineering / Computer programming / Computing / GNUstep / NeXT / Objective-C / Application programming interface / Transmission Control Protocol / Go](https://www.pdfsearch.io/img/a1f36117cc2422ae767590c76b4f8d83.jpg) Date: 2015-11-25 16:51:21Software engineering Computer programming Computing GNUstep NeXT Objective-C Application programming interface Transmission Control Protocol 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: www.doc.ic.ac.ukDownload Document from Source Website File Size: 660,11 KBShare Document on Facebook
|