Formal Methods in the BOS project

G.J. Tretmans (Invited speaker)

    Activity: Talk or presentationInvited talk

    Period14 Oct 1997