Maria Handjieva

	1998
2		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

Coauthor Index

1

Stanislav Tzolovski

[2]

Last update Fri Jun 1 15:44:53 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page