Kevin Lano. Null Considered Harmful (for Transformation Verification). In Moussa Amrani, Eugene Syriani, Manuel Wimmer, editors, Proceedings of the Third International Workshop on Verification of Model Transformations co-located with Software Technologies: Applications and Foundations, VOLT@STAF 2014, York, UK, July 21, 2014. Volume 1325 of CEUR Workshop Proceedings, pages 26-35, CEUR-WS.org, 2014. [doi]
Abstract is missing.