Kamu erişimi zorunlu olan makaleler - Tim KingDaha fazla bilgi edinin
Bir yerde sunuluyor: 3
Practical SMT-based type error localization
Z Pavlinovic, T King, T Wies
ACM SIGPLAN Notices 50 (9), 412-423, 2015
Zorunlu olanlar: European Commission
Polyhedral approximation of multivariate polynomials using Handelman’s theorem
A Maréchal, A Fouilhé, T King, D Monniaux, M Périn
International Conference on Verification, Model Checking, and Abstract …, 2015
Zorunlu olanlar: European Commission
Deciding local theory extensions via e-matching
K Bansal, A Reynolds, T King, C Barrett, T Wies
Computer Aided Verification: 27th International Conference, CAV 2015, San …, 2015
Zorunlu olanlar: European Commission
Yayıncılık ve maddi kaynak bilgileri otomatik olarak bir bilgisayar programı tarafından belirlenmektedir