![](/images/ico/ico_close.png)
![](/images/ico/ico5.png)
Publisher: John Wiley & Sons Inc
E-ISSN: 2047-7481|27|11|867-895
ISSN: 2047-7473
Source: JOURNAL OF SOFTWARE: EVOLUTION AND PROCESS (ELECTRONIC), Vol.27, Iss.11, 2015-11, pp. : 867-895
Disclaimer: Any content in publications that violate the sovereignty, the constitution or regulations of the PRC is not accepted or approved by CNPIEC.
Abstract
Related content
![](/images/ico/ico_close.png)
![](/images/ico/ico5.png)
![](/images/ico/ico_close.png)
![](/images/ico/ico5.png)
![](/images/ico/ico_close.png)
![](/images/ico/ico5.png)
![](/images/ico/ico_close.png)
![](/images/ico/ico5.png)
Automated techniques for provably safe mobile code
By Colby C. Crary K. Harper R. Lee P. Pfenning F.
Theoretical Computer Science, Vol. 290, Iss. 2, 2003-01 ,pp. :