Login / Signup

Guest editors' foreword.

Dominic A. OrchardNobuko Yoshida
Published in: J. Log. Algebraic Methods Program. (2017)
Keyphrases
  • special issue
  • virtual machine
  • real time