1![Scrambling and Descrambling SMT-LIB Benchmarks Tjark Weber Uppsala University, Sweden Scrambling and Descrambling SMT-LIB Benchmarks Tjark Weber Uppsala University, Sweden](https://www.pdfsearch.io/img/dee3b82e50cfe56b15e3b2ce34281b53.jpg) | Add to Reading ListSource URL: user.it.uu.seLanguage: English - Date: 2016-07-01 09:29:03
|
---|
2![Refinement Types for Secure Implementations JESPER BENGTSON, Uppsala University KARTHIKEYAN BHARGAVAN, Microsoft Research ´ CEDRIC FOURNET, Microsoft Research Refinement Types for Secure Implementations JESPER BENGTSON, Uppsala University KARTHIKEYAN BHARGAVAN, Microsoft Research ´ CEDRIC FOURNET, Microsoft Research](https://www.pdfsearch.io/img/eb4d34ffc61f33ccbc3a0cdde7dd663b.jpg) | Add to Reading ListSource URL: www.doc.ic.ac.ukLanguage: English - Date: 2012-02-28 13:28:34
|
---|
3![](/pdf-icon.png) | Add to Reading ListSource URL: uppsala.pwch.dk- Date: 2017-07-05 07:38:48
|
---|
4![](/pdf-icon.png) | Add to Reading ListSource URL: uppsala.pwch.dk- Date: 2011-01-06 14:08:28
|
---|
5![](/pdf-icon.png) | Add to Reading ListSource URL: uppsala.pwch.dk- Date: 2011-01-06 14:08:25
|
---|
6![](/pdf-icon.png) | Add to Reading ListSource URL: uppsala.pwch.dk- Date: 2011-01-06 14:08:31
|
---|
7![](/pdf-icon.png) | Add to Reading ListSource URL: uppsala.pwch.dk- Date: 2011-01-06 14:08:25
|
---|
8![](/pdf-icon.png) | Add to Reading ListSource URL: scnc.ukzn.ac.zaLanguage: English - Date: 2005-08-01 08:14:41
|
---|
9![SAMPLED SEMANTICS OF TIMED AUTOMATA PAROSH AZIZ ABDULLA, PAVEL KRCAL, AND WANG YI Department of Information Technology, Uppsala University, Sweden e-mail address : Department of Information Technology, Up SAMPLED SEMANTICS OF TIMED AUTOMATA PAROSH AZIZ ABDULLA, PAVEL KRCAL, AND WANG YI Department of Information Technology, Uppsala University, Sweden e-mail address : Department of Information Technology, Up](https://www.pdfsearch.io/img/8c4b42784c47d21c0b9932be4b41f367.jpg) | Add to Reading ListSource URL: user.it.uu.seLanguage: English - Date: 2010-08-07 21:45:25
|
---|
10![Following internal resistance changes in batteries with a versatile intermittent current interruption technique a Matthew J. Lacey Department of Chemistry – Ångström Laboratory, Uppsala University, Box 538, Following internal resistance changes in batteries with a versatile intermittent current interruption technique a Matthew J. Lacey Department of Chemistry – Ångström Laboratory, Uppsala University, Box 538,](https://www.pdfsearch.io/img/4365699dc5f408382d34c51506d91665.jpg) | Add to Reading ListSource URL: www.imlb2018.orgLanguage: English - Date: 2018-03-29 22:36:10
|
---|