Nov 23, 2010: Jeroen Ketema: Verification of xUML Models

November 23, 2010Verification of xUML Models
Room: Zi 5126Jeroen Ketema
12:30-13:30