Final published version
Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review
Publication date | 05/2008 |
---|---|
Host publication | ICSE '08 Proceedings of the 30th international conference on Software engineering |
Place of Publication | New York |
Publisher | ACM |
Pages | 811-814 |
Number of pages | 4 |
ISBN (print) | 978-1-60558-079-1 |
<mark>Original language</mark> | English |
Event | ICSE '08: The 30th international conference on Software engineering Formal Demo Session - Leipzig, Germany Duration: 1/01/1900 → … |
Conference | ICSE '08: The 30th international conference on Software engineering Formal Demo Session |
---|---|
City | Leipzig, Germany |
Period | 1/01/00 → … |
Conference | ICSE '08: The 30th international conference on Software engineering Formal Demo Session |
---|---|
City | Leipzig, Germany |
Period | 1/01/00 → … |