СТ |
Friends Need a Bit More: Maintaining Invariants Over Shared State |
2004 |
Barnett M., Naumann D. A. |
Lecture Notes in Computer Science |
|
|
Lecture Notes in Computer Science |
03.09.2004 |
СТ |
Towards a Tool Environment for Model-Based Testing with AsmL |
2004 |
Barnett M., Grieskamp W., Nachmanson L., Schulte W., Tillmann N., Veanes M. |
|
|
|
Lecture Notes in Computer Science |
11.03.2004 |
СТ |
A Systolizing Compilation Scheme for Nested Loops with Linear Bounds |
1993 |
Barnett M., Lengauer Ch. |
|
|
|
Lecture Notes in Computer Science |
05.08.1993 |
СТ |
Unimodularity Considered Non-Essential (Extended Abstract) |
1992 |
Barnett M., Lengauer C. |
|
|
|
Lecture Notes in Computer Science |
01.10.1992 |