Back to Results
First PageMeta Content
Formal methods / Logic in computer science / Communications protocol / Data transmission / Cryptographic protocol / Runtime verification / ANTLR


Multiparty Session Types for Runtime Verification Rumyana Neykova OOI: verification challenges 
Add to Reading List

Document Date: 2014-01-14 05:07:33

Open Document

File Size: 2,91 MB

Share Result on Facebook
UPDATE