Power Builder Interview Question and Answers
Program Verification Using the Spec# Programming System ETAPS Tutorial K. Rustan M. Leino, Microsoft Research, Redmond Rosemary Monahan, NUIM Maynooth.
Online booking demonstration
LEE/WV14 /WV14.HTML WV Geometry - July 2014.
DynaMAT Icelandic material Freyja Hreinsdóttir June 14 th 2013
WV Geometry - July 2014
DynaMAT Icelandic material