1
Logic-Based Program Synthesis and Transformation [E-Book] : 17th International Symposium, LOPSTR 2007, Kongens Lyngby, Denmark, August 23-24, 2007, Revised Selected Papers /
2
Risk assessment of soil contamination criteria : a paper proposed for presentationat the AICHE Division of Health and Safety meeting Houston, TX June 4 - 9, 1987 and for publication in the proceedings [E-Book] /