| New Developments in Model-Integrated Development of High-Confidence Software | |
|---|---|
| Author | |
| Year of Publication |
2010
|
| Google Scholar | BibTeX | XML | |
| New Developments in Model-Integrated Development of High-Confidence Software | |
|---|---|
| Author | |
| Year of Publication |
2010
|
| Google Scholar | BibTeX | XML | |