• The effect of concurrent progr...

Treffer: The effect of concurrent programming idioms on verification: A position paper

Title:
The effect of concurrent programming idioms on verification: A position paper
Authors:
Harel, David, Katz, Guy, Marron, Assaf, Weiss, Gera
Source:
2015 3rd International Conference on Model-Driven Engineering and Software Development (MODELSWARD) Model-Driven Engineering and Software Development (MODELSWARD), 2015 3rd International Conference on. :363-369 Feb, 2015
Relation:
2015 3rd International Conference on Model-Driven Engineering and Software Development (MODELSWARD)
Database:
IEEE Xplore Digital Library