External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

Affine Refinement Types for Secure Distributed Programming

Michele Bugliesi, Stefano Calzavara, Fabienne Eigner, Matteo Maffei. Affine Refinement Types for Secure Distributed Programming. ACM Transactions on Programming Languages and Systems, 37(4):11, 2015. [doi]

Authors

Michele Bugliesi

This author has not been identified. Look up 'Michele Bugliesi' in Google

Stefano Calzavara

This author has not been identified. Look up 'Stefano Calzavara' in Google

Fabienne Eigner

This author has not been identified. Look up 'Fabienne Eigner' in Google

Matteo Maffei

This author has not been identified. Look up 'Matteo Maffei' in Google
runs on