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

Press/Media: Media appearance

References

Title26th international conference on computer aided verification (CAV 2014)
Media name/outletEventseer.net
CountryUnited States
Date20/11/2013
URLeventseer.net/e/22994
PersonsKeijo Heljanko
Period20 Nov 2013

ID: 17932834