Formal Verification of Just-in-Time Compilation
Saved in:
| 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!