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