Iwama Futoshi


  • Futoshi Iwama, Naoki Kobayashi. A New Type System for JVM Lock Primitives (full version) (ps.gz)
    Author : Futoshi Iwama < iwama@kb.cs.titech.ac.jp >