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) |
| ISBN: | 9798400713781 9798400713798 9798400713804 |
|---|