Mengfei Yang, Naijun Zhan. Combining Formal and Informal Methods in the Design of Spacecrafts. In Zhiming Liu 0001, Zili Zhang, editors, Engineering Trustworthy Software Systems - First International School, SETSS 2014, Chongqing, China, September 8-13, 2014. Tutorial Lectures. Volume 9506 of Lecture Notes in Computer Science, pages 290-323, Springer, 2014. [doi]
@inproceedings{YangZ14-31, title = {Combining Formal and Informal Methods in the Design of Spacecrafts}, author = {Mengfei Yang and Naijun Zhan}, year = {2014}, doi = {10.1007/978-3-319-29628-9_6}, url = {http://dx.doi.org/10.1007/978-3-319-29628-9_6}, researchr = {https://researchr.org/publication/YangZ14-31}, cites = {0}, citedby = {0}, pages = {290-323}, booktitle = {Engineering Trustworthy Software Systems - First International School, SETSS 2014, Chongqing, China, September 8-13, 2014. Tutorial Lectures}, editor = {Zhiming Liu 0001 and Zili Zhang}, volume = {9506}, series = {Lecture Notes in Computer Science}, publisher = {Springer}, isbn = {978-3-319-29627-2}, }