Journal of Formalized Reasoning - researchr journals

researchr

You are not signed in
Sign in
Sign up

Journals associated with the name Journal of Formalized Reasoning:

An Intrinsic Encoding of a Subset of C and its Application to TLS Network Packet ProcessingReynald Affeldt, Kazuhiko Sakaguchi. Journal of Formalized Reasoning, 7(1):63-104, 2014. [doi]

runs on WebDSL