Pages that link to "Item:Q1339985"
From MaRDI portal
The following pages link to Static analysis. 1st international symposium, SAS '94, Namur (Belgium), September 28--30, 1994. Proceedings (Q1339985):
Displaying 3 items.
- Special issue on SAS '94. Selected papers on the 1st international static analysis symposium (SAS '94), Namur, Belgium, September 28--30, 1994 (Q1818307) (← links)
- Static analysis. 2nd international symposium, SAS '95, Glasgow, GB, September 25--27, 1995. Proceedings (Q1899998) (← links)
- Truth versus information in logic programming (Q2933087) (← links)