SSERL
Home
Members
Seminar
Publications
Software
Funding
From Concurrent Programs to Simulating Sequential Programs: Correctness of a Transformation
Allan Blanchard
,
Frédéric Loulergue
,
Nikolai Kosmatov
January 2017
PDF
DOI
Type
Conference paper
Publication
Proceedings Fifth International Workshop on Verification and Program Transformation, VPT@ETAPS 2017, Uppsala, Sweden, 29th April 2017.
Cite
×