Verification of protocol specifications with Separation Logic - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Tibor Kiss, Florin Craciun, Bazil Pârv. Verification of protocol specifications with Separation Logic. In IEEE International Conference on Intelligent Computer Communication and Processing, ICCP 2015, Cluj-Napoca, Romania, September 3-5, 2015. pages 109-116, IEEE, 2015. [doi]

This author has not been identified. Look up 'Tibor Kiss' in GoogleThis author has not been identified. Look up 'Florin Craciun' in GoogleThis author has not been identified. Look up 'Bazil Pârv' in Google

runs on WebDSL