bibtex

@inproceedings{Ios00,
    title = {Formal verification applied to Java concurrent software },
    author = {Iosif, Radu},
    year = {2000},
    booktitle = {Proceedings of the 22nd International Conference on on Software Engineering, ICSE 2000, Limerick Ireland, June 4-11, 2000},
    pages = {707-709},
    publisher = {ACM},
    team = {DCS,PACSS},
}


Contact | Site Map | Site powered by SPIP 4.2.8 + AHUNTSIC [CC License]

info visites 3900574