The following pages link to (Q4785541):
Displaying 5 items.
- Jakarta (Q14009) (← links)
- A metamodel of access control for distributed environments: applications and properties (Q462495) (← links)
- The KRAKATOA tool for certification of JAVA/JAVACARD programs annotated in JML (Q1881670) (← links)
- Extracting a data flow analyser in constructive logic (Q2566027) (← links)
- Certified Static Analysis by Abstract Interpretation (Q3184788) (← links)