Sciweavers

175 search results - page 3 / 35
» java 1999
Sort
View
ICEIS
1999
IEEE
15 years 1 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 1 months ago
Java Bytecode Verification by Model Checking
David A. Basin, Stefan Friedrich, Joachim Posegga,...
ESOP
1999
Springer
15 years 1 months ago
A Programming Logic for Sequential Java
Arnd Poetzsch-Heffter, Peter Müller