Safe and verifiable design of concurrent Java programs

G.S. Stiles, P.H. Welch, G.H. Hilderink, André Bakkers

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

    Original languageUndefined
    Title of host publicationProc. 3rd IASTED International Conf. Software Engg. and Applications
    Place of PublicationScottsdale, Arizona, USA
    Number of pages10
    Publication statusPublished - 6 Oct 1999


    • METIS-113339

    Cite this