|
Journal description
All volumes of the corresponding journal
All issues of the corresponding volume
All articles of the corresponding issues
7 results found
| no | title | author | magazine | year | volume | issue | page(s) | type |
| 1 | An elementary theory of product-line variations |
Sampath, Prahladavaradan |
2013 |
26 | 4 |
p. 695-727 |
article |
|
| 2 | Assume-guarantee synthesis for digital contract signing |
Chatterjee, Krishnendu |
2013 |
26 | 4 |
p. 825-859 |
article |
|
| 3 | Compensation by design |
Liu, Xi |
2013 |
26 | 4 |
p. 623-676 |
article |
|
| 4 | Formal verification of a pervasive messaging system |
Konur, Savas |
2013 |
26 | 4 |
p. 677-694 |
article |
|
| 5 | Test-data generation for control coverage by proof |
Cavalcanti, Ana |
2013 |
26 | 4 |
p. 795-823 |
article |
|
| 6 | Towards verification of computation orchestration |
Dong, Jin Song |
2013 |
26 | 4 |
p. 729-759 |
article |
|
| 7 | Verifying traits: an incremental proof system for fine-grained reuse |
Damiani, Ferruccio |
2013 |
26 | 4 |
p. 761-793 |
article |
7 results found