A modal logic for abstract delta modeling.

Additional Metadata
THEME	Software (theme 1)
Publisher	ACM
Conference	Software Product Line Conferences
Organisation	Computer Security
Citation APA APA Style APA-ALL Style AAA Style Cell Style Chicago Style Harvard Style IEEE Style MLA Style Nature Style Vancouver Style American-Institute-of-Physics Style Council-of-Science-Editors Style BibTex Format Endnote Format RIS Format CSL Format DOIs only Format	de Boer, F., Helvensteijn, M.& Winter, J. (2012, January). A modal logic for abstract delta modeling. Proceedings of Software Product Line Conferences 2012.

Publication