Correctness preserving transformations for the early phases of software development

    Activity: Talk or presentation › Oral presentation

    Period15 Sept 1992
    Event title3rd LotoSphere Workshop & Seminar 1992
    Event typeConference
    LocationPisa, ItalyShow on map
    Degree of RecognitionInternational

    Related content