Safety-Critical Java Programs from Circus Models

Activity: Talk or presentation › Invited talk

Period8 Mar 2013
Event titleFormal Methods Europe Annual General Meeting 2013
Event typeSeminar
LocationAmsterdam, NetherlandsShow on map