An Executable Formal Java Virtual Machine Thread Model (2001)

by J Strother Moore , George M. Porter
Citations:7 - 1 self