Sciweavers

175 search results - page 3 / 35
» java 1999
Sort
View
ICEIS
1999
IEEE
15 years 10 months ago
Implementing Network Protocols in Java-A Framework for Rapid Prototyping
Matthias Jung, Ernst Biersack, Alexander Pilger
CAV
1999
Springer
85views Hardware» more  CAV 1999»
15 years 10 months ago
Java Bytecode Verification by Model Checking
David A. Basin, Stefan Friedrich, Joachim Posegga,...
ESOP
1999
Springer
15 years 10 months ago
A Programming Logic for Sequential Java
Arnd Poetzsch-Heffter, Peter Müller