Proceedings of the 27th IEEE/ACM International Conference on Automated Software Engineering - ASE 2012
Book title Buchtitel
Proceedings of the 27th IEEE/ACM International Conference on Automated Software Engineering - ASE 2012
Editor Herausgeber_in
Publisher Herausgeber
ACM
Date issued
Results 1-1 of 1 (Search time: 0.002 seconds).
| Preview | Authors / Editors | Title | Type | Issue Date | |
|---|---|---|---|---|---|
| 1 | Gabmeyer, Sebastian ; Goedicke, Michael ; Menzies, Tim ; Saeki, Motoshi | Formal verification techniques for model transformations specified by-demonstration | Konferenzbeitrag Inproceedings  | 2012 |