Formal Development and Validation of Java Dependable Distributed Systems.

Giovanna Di Marzo Serugendo, Nicolas Guelfi, Alexander B. Romanovsky, Avelino F. Zorzo

Browse the full ICECCS paper archive.