Original languageEnglish
Title of host publicationProceedings of Haifa Verification Conference 2012
Editors sn
Place of PublicationBerin
PublisherSpringer
Pages1-16
Number of pages16
StatePublished - 2012
EventHaifa Verification Conference 2012 -

Publication series

Name
PublisherSpringer

Conference

ConferenceHaifa Verification Conference 2012
Period6/11/128/11/12

    Research areas

  • Conf.proc. > 3 pag

ID: 3409838