Retrenchment

Richard Banach, Michael Poppleton, Jeannette M Wing (Editor), Jim Woodcock (Editor), Jim Davies (Editor)

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    Original languageEnglish
    Title of host publicationWorld Congress on Formal Methods
    EditorsJeannette M Wing, Jim Woodcock, Jim Davies
    PublisherSpringer Nature
    Pages1864-1865
    Number of pages2
    Volume1709
    ISBN (Print)3-540-66588-9
    Publication statusPublished - 1999
    EventFM'99 - Formal Methods, World Congress on Formal Methods in the Development of Computing Systems, Toulouse, France, September 20-24, 1999, Proceedings, Volume II -
    Duration: 1 Jan 1824 → …
    http://dblp.uni-trier.de/db/conf/fm/fm1999-2.html#BanachP99http://dblp.uni-trier.de/rec/bibtex/conf/fm/BanachP99.xmlhttp://dblp.uni-trier.de/rec/bibtex/conf/fm/BanachP99

    Publication series

    NameLecture Notes in Computer Science

    Conference

    ConferenceFM'99 - Formal Methods, World Congress on Formal Methods in the Development of Computing Systems, Toulouse, France, September 20-24, 1999, Proceedings, Volume II
    Period1/01/24 → …
    Internet address

    Cite this