Paper Behavioural and Abstractor Specifications for a Dynamic Logic with Binders and Silent Transitions accepted for presentation at DaLi 2019.
ICSM 2009

eCopyright Transfer Form for ICSM'09

2009 IEEE International Conference on Software Maintenance (ICSM)

Complete the form below and proceed to the IEEE eCopyright Web Site by clicking "Copyright Submission".

Title of paper as on final submission:
Authors of paper as on final submission:
Paper number as on notification of acceptance:
Authors' e-mail address (comma-separated list):
Proceedings Title:
Acceptance date:
Conference identifier:
Return URL: