%0 Conference Paper %1 conf/iceccs/SerugendoGRZ99 %A Serugendo, Giovanna Di Marzo %A Guelfi, Nicolas %A Romanovsky, Alexander B. %A Zorzo, Avelino F. %B ICECCS %D 1999 %I IEEE Computer Society %K dblp %P 98-108 %T Formal Development and Validation of Java Dependable Distributed Systems. %U http://dblp.uni-trier.de/db/conf/iceccs/iceccs1999.html#SerugendoGRZ99 %@ 0-7695-0434-5

@inproceedings{conf/iceccs/SerugendoGRZ99, added-at = {2023-03-24T00:00:00.000+0100}, author = {Serugendo, Giovanna Di Marzo and Guelfi, Nicolas and Romanovsky, Alexander B. and Zorzo, Avelino F.}, biburl = {https://www.bibsonomy.org/bibtex/27a37b910e66fbf6ce4a7a2d5b46f4a55/dblp}, booktitle = {ICECCS}, crossref = {conf/iceccs/1999}, ee = {https://doi.ieeecomputersociety.org/10.1109/ICECCS.1999.802854}, interhash = {ef125e9bfd040e29392fb26a451c7148}, intrahash = {7a37b910e66fbf6ce4a7a2d5b46f4a55}, isbn = {0-7695-0434-5}, keywords = {dblp}, pages = {98-108}, publisher = {IEEE Computer Society}, timestamp = {2024-04-10T07:28:09.000+0200}, title = {Formal Development and Validation of Java Dependable Distributed Systems.}, url = {http://dblp.uni-trier.de/db/conf/iceccs/iceccs1999.html#SerugendoGRZ99}, year = 1999 }