A METHOD TO VERIFY PARALLEL AND DISTRIBUTED SOFTWARE IN C# BY DOING ROSLYN AST TRANSFORMATION TO A PROMELA MODEL

Publisher Website

1 January 2019

journal article
Published by A.P. Ershov Institute of Informatics Systems SB RAS in System Informatics

https://doi.org/10.31144/si.2307-6410.2019.n15.p13-44

Abstract

No abstract available