ProfessorNobukoYoshida

Faculty of Engineering, Department of Computing

Academic Visitor

Contact

+44 (0)20 7594 8240n.yoshida Website

Location

556Huxley BuildingSouth Kensington Campus

Summary

Publications

Citation

BibTex format

@misc{Zhou:2020,
author = {Zhou, F and Ferreira, F and Hu, R and Neykova, R and Yoshida, N},
title = {Statically Verified Refinements for Multiparty Protocols},
type = {Software},
year = {2020}
}

Download

RIS format (EndNote, RefMan)

TY  - GEN
AB  - Statically Verified Refinements for Multiparty Protocols
AU  - Zhou,F
AU  - Ferreira,F
AU  - Hu,R
AU  - Neykova,R
AU  - Yoshida,N
PY  - 2020///
TI  - Statically Verified Refinements for Multiparty Protocols
ER  -

Download