The Quest for Correctness Joseph Sifakis VERIMAG Laboratory 2nd Sogeti Testing Academy April 29th 2009.
Surfaces Gemcom
MA2213 Lecture 7
LSWG day, Sept. 2, 2014, B. Auchmann for the BLMTWG Collaboration of many teams: OP, RF, BI, Collimation, LIBD, FLUKA, etc. T. Baer, M. Bednarek, G. Bellodi,
