Xiang Yin
Affiliations:- University of Virginia, Department of Computer Science, Charlottesville, VA, USA
According to our database1,
Xiang Yin
authored at least 6 papers
between 2005 and 2010.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2010
Formal Verification of Large Software Systems.
Proceedings of the Second NASA Formal Methods Symposium, 2010
Proceedings of the Reliable Software Technologiey, 2010
2009
Proceedings of the 2009 IEEE/IFIP International Conference on Dependable Systems and Networks, 2009
2008
2006
Proceedings of the 28th International Conference on Software Engineering (ICSE 2006), 2006
2005
Proceedings of the 10th international workshop on Formal methods for industrial critical systems, 2005