The method of formal methods

Brinksma, H. (Speaker)

    Activity: Talk or presentationOral presentation

    Description

    Plaats van uitgifte: Stellenbosch, Zuid-Afrika
    Period12 Dec 1994
    Event titleRMICS Report Back meeting
    Event typeConference
    LocationStellenbosch, Zuid-Afrika

    Keywords

    • METIS-123729