Software (theme 1)
ACM
Software Product Line Conferences
Computer Security

de Boer, F.S, Helvensteijn, M, & Winter, J. (2012). A modal logic for abstract delta modeling. In Proceedings of Software Product Line Conferences 2012. ACM.