Imperial College London
Professor Nobuko Yoshida

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

@inproceedings{Scalas:2019:10.1145/3314221.3322484,
author = {Scalas, A and Yoshida, N and Benussi, E},
doi = {10.1145/3314221.3322484},
pages = {502--516},
publisher = {ASSOC COMPUTING MACHINERY},
title = {Verifying Message-Passing Programs with Dependent Behavioural Types},
url = {http://dx.doi.org/10.1145/3314221.3322484},
year = {2019}
}
Download

RIS format (EndNote, RefMan)

TY  - CPAPER
AU  - Scalas,A
AU  - Yoshida,N
AU  - Benussi,E
DO  - 10.1145/3314221.3322484
EP  - 516
PB  - ASSOC COMPUTING MACHINERY
PY  - 2019///
SP  - 502
TI  - Verifying Message-Passing Programs with Dependent Behavioural Types
UR  - http://dx.doi.org/10.1145/3314221.3322484
UR  - https://www.webofscience.com/api/gateway?GWVersion=2&SrcApp=PARTNER_APP&SrcAuth=LinksAMR&KeyUT=WOS:000523190300033&DestLinkType=FullRecord&DestApp=ALL_WOS&UsrCustomerID=a2bf6146997ec60c407a63945d4e92bb
ER  -
Download