CITI has stopped operations in 2014, to co-launch NOVA LINCS THIS SITE IS NOT BEING UPDATED SINCE 2013
citi banner
Home Page FCT/UNL UNL
  Home  \  Publications  \  InProceedings Page Login  
   
banner bottom
File Top
A Technique for Automatic Validation of Model Transformations

URL: http://http://models2010.ifi.uio.no/

@ ACM/IEEE MoDELS 2010


Publisher: Springer-Verlag ( Germany )


Date: October, 2010


Authors:

File Bottom