13 citations · 39 across the 9 of their papers we have counts for
1 paper · 1 filter
Jan Jürjens, Eduardo B. Fernandez, Robert B. France +2
We give a short report on the contributions to and some discussions made and conclusions drawn at the Third International Workshop on Critical Systems Development Using Modeling La…