LASIGE
News
About LASIGE
Mission
Organisation
Internationalisation
Innovation Ecosystem
Awards
Contacts
Research Lines
Accessibility and Ageing
Cyber‐Physical Systems
Data and Systems Intelligence
Health and Biomedical Informatics
Reliable Software Systems
Resilient Distributed and Networked Systems
Research Activity
Software and Tools
Projects & CoLABs
Publications
Members
Integrated Researchers
Phd Collaborators
Collaborators
PhD Students
MSc Students
Undergraduate Students
Staff
Former Members
Open Positions
Regular Positions
"la Caixa" Fellowships
Events
You are here
Home
» Home
Home
Primary tabs
Projects
Publications
(active tab)
2014
Vasconcelos, V. T.
,
F. Martins
,
E. R. B. Marques
,
H. A. López
,
C. Santos
, and
N. Yoshida
,
Type-based verification of message-passing parallel programs
,
, 2014.
Google Scholar
BibTex
