Correctness preserving transformations for the early phases of software development

Langerak, R. (Speaker)

    Activity: Talk or presentationOral presentation

    Period15 Sep 1992
    Event title3rd LotoSphere Workshop & Seminar 1992
    Event typeConference
    LocationPisa, Italy
    Degree of RecognitionInternational