Towards Global and Local Types for Adaptation

Mario Bravetti*, Marco Carbone, Thomas T. Hildebrandt, Ivan Lanese, Jacopo Mauro, Jorge A. Pérez, Gianluigi Zavattaro

*Corresponding author for this work

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

12 Citations (Scopus)
Original languageEnglish
Title of host publicationSoftware Engineering and Formal Methods - SEFM 2013 Collocated Workshops:
Subtitle of host publication BEAT2, WS-FMDS, FM-RAIL-Bok, MoKMaSD, and OpenCert, September 23-24, 2013
Place of PublicationMadrid, Spain
Pages3-14
Number of pages12
EditionRevised Selected Papers
DOIs
Publication statusPublished - 2013

Cite this