Maria Handjieva Vis

List of publications from the DBLP Bibliography Server - FAQ

Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

* 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

*	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

Coauthor Index

1 Stanislav Tzolovski [2]