26th international conference on computer aided verification (CAV 2014)

Lehdistö/media: Esiintyminen mediassa

Viitteet

Nimi26th international conference on computer aided verification (CAV 2014)
Medianimi / kanavaEventseer.net
MaaYhdysvallat
Julkaisupäivämäärä20/11/2013
URL-osoiteeventseer.net/e/22994
HenkilötKeijo Heljanko
Aikajakso20 marraskuuta 2013

ID: 17932834