Logic-based Program Synthesis and Transformation: LOPSTR'99
and
Static Analysis Symposium: SAS'99

Venezia, Italy, 22 - 24 September 1999


TUTORIALS