1 |
SawjaCard: A Static Analysis Tool for Certifying Java Card Applications
|
|
|
|
In: 21st International Static Analysis Symposium (SAS 2014) ; https://hal.inria.fr/hal-01093327 ; 21st International Static Analysis Symposium (SAS 2014), 2014, Munich, Germany. pp.51 - 67, ⟨10.1007/978-3-319-10936-7_4⟩ (2014)
|
|
BASE
|
|
Show details
|
|
|
|