|
Journal description
All volumes of the corresponding journal
All issues of the corresponding volume
All articles of the corresponding issues
5 results found
| no | title | author | magazine | year | volume | issue | page(s) | type |
| 1 | A novel data-driven approach on inferring loop invariants for C programs |
Lu, Hong |
|
71 | C |
p. |
article |
|
| 2 | Automatic resolution of model merging conflicts using quality-based reinforcement learning |
Sharbaf, Mohammadreza |
|
71 | C |
p. |
article |
|
| 3 | Editorial Board |
|
71 | C |
p. |
article |
||
| 4 | Gravity++: A graph-based framework for constructing interactive visualization narratives |
Obie, Humphrey O. |
|
71 | C |
p. |
article |
|
| 5 | Minimising line segments in linear diagrams is NP-hard |
Chapman, Peter |
|
71 | C |
p. |
article |
5 results found