EEMCS

Home > Publications
Home University of Twente
Education
Research
Prospective Students
Jobs
Publications
Intranet (internal)
 
 Nederlands
 Contact
 Search
 Organisation

EEMCS EPrints Service


27674 Static Verification of Message Passing Programs
Home Policy Brochure Browse Search User Area Contact Help

Oortwijn, W.H.M. and Blom, S.C.C. and Huisman, M. (2016) Static Verification of Message Passing Programs. In: ICT.Open 2016, 21-22 March 2016, Amersfoort, The Netherlands. University of Twente. ISBN not assigned

Full text available as:

PDF

206 Kb
PDF (Poster)

660 Kb

Item Type:Conference or Workshop Paper (Extended Abstract, Talk, Poster)
Research Group:EWI-FMT: Formal Methods and Tools
Research Program:CTIT-General
Research Project:VERDI: Verification Of Distributed Software
Additional Information:extended abstract for ICT.Open
ID Code:27674
Status:Published
Deposited On:15 March 2017
Refereed:No
International:No
More Information:statistics

Export this item as:

To correct this item please ask your editor

Repository Staff Only: edit this item