Formal Verification of Just-in-Time Compilation

Saved in:
Bibliographic Details
Title: Formal Verification of Just-in-Time Compilation
Authors: Aurèle Barrière
Resource Type: eBook.
Categories: COMPUTERS / Computer Science
Database: eBook Collection (EBSCOhost)
Be the first to leave a comment!
You must be logged in first