Login / Signup

Guest Editors' Foreword.

Luca AcetoMario BravettiWan J. FokkinkAndrew D. Gordon
Published in: J. Log. Algebraic Methods Program. (2007)
Keyphrases
  • special issue
  • virtual machine
  • real time
  • operating system