An Executable Formal Java Virtual Machine Thread Model (2001)

by J Strother Moore , George M. Porter
Citations:6 - 0 self