Zeitraum
1999 - 2007
Anzahl
2
Co-Autoren
Contents (2007)
Jan Bergstra, Marijke Loots
Software mechanics for Java multi-threading Figure 1: Java For a subset JavaTck(Java Thread Composition Kernel) of Java anempirical semantics has been developed. 1 Special emphasis is put on the role...
Empirical semantics for object-oriented programs (1999)
Jan Bergstra, Marijke Loots, J. A. Bergstra, M. E. Loots