2012
A modal logic for abstract delta modeling.
Publication
Publication
Presented at the
Software Product Line Conferences
Additional Metadata | |
---|---|
Software (theme 1) | |
ACM | |
Software Product Line Conferences | |
Organisation | 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.
|