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