1 - 100 of 2
Number of results to display per page
TitleDateTypeSetname
1 Emerging trends proceedings of the 17th International Conference on Theorem Proving in Higher Order Logics: TPHOLs 20042004-08Textir_uspace
2 Formal verification of programs and their transformations2010-12Textir_etd
1 - 100 of 2