Pages that link to "Item:Q1265643"
From MaRDI portal
The following pages link to Static analysis. 5th international symposium, SAS '98, Pisa, Italy, September 14--16, 1998. Proceedings (Q1265643):
Displaying 6 items.
- Static analysis. 1st international symposium, SAS '94, Namur (Belgium), September 28--30, 1994. Proceedings (Q1339985) (← links)
- Static analysis. 11th international symposium, SAS 2004, Verona, Italy, August 26--28, 2004. Proceedings. (Q1763058) (← links)
- 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)
- An iterative approach to precondition inference using constrained Horn clauses (Q4559813) (← links)
- Horn clauses as an intermediate representation for program analysis and transformation (Q4592995) (← links)