Title of article :
Interactive and Probabilistic Proof of Mobile Code Safety
Author/Authors :
Yasuyuki Tsukada، نويسنده ,
Issue Information :
روزنامه با شماره پیاپی سال 2005
Keywords :
Software Verification , proof-carrying code , Interactive proof system
Journal title :
Automated Software Engineering
Journal title :
Automated Software Engineering
