1
Published 2005
Table of Contents: ... Verification with Quasar -- Proving Functional Equivalence for Program Slicing in SPARKTM -- Ada and Education...
View full text
Electronic eBook
2
Published 2010
Table of Contents: ...EternalS: Mission and Roadmap -- to the EternalS Track: Trustworthy Eternal Systems via Evolving...
View full text
Electronic eBook
3
Published 2010
Table of Contents: ... Tracking Based on Behavioral Fingerprints -- Hash Functions -- On the Collision and Preimage Resistance...
View full text
Electronic eBook