Jan Pardo
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2012
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Applications and Case Studies, 2012
Proceedings of the Leveraging Applications of Formal Methods, Verification, and Validation, 2012