| |
| 1998 | ||
|---|---|---|
| 2 | EE | Maria Handjieva, Stanislav Tzolovski: Refining Static Analyses by Trace-Based Partitioning Using Control Flow. SAS 1998: 200-214 |
| 1996 | ||
| 1 | Maria Handjieva: STAN: A Static Analyzer for CLP(R) Based on Abstract Interpretation. SAS 1996: 383-384 | |
| 1 | Stanislav Tzolovski | [2] |