Formal methods in the era of service-oriented design

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

Original languageEnglish
Title of host publicationProceedings - 35th Annual IEEE International Computer Software and Applications Conference, COMPSAC 2011
Pages452-453
Number of pages2
DOIs
Publication statusPublished - 2011
Externally publishedYes
Event35th Annual IEEE International Computer Software and Applications Conference, COMPSAC 2011 - Munich, Germany
Duration: 18 Jul 201121 Jul 2011

Publication series

NameProceedings - International Computer Software and Applications Conference
ISSN (Print)0730-3157

Conference

Conference35th Annual IEEE International Computer Software and Applications Conference, COMPSAC 2011
Country/TerritoryGermany
CityMunich
Period18/07/1121/07/11

Cite this