UNI-MB - logo
UMNIK - logo
 
(UM)
  • 2014 International SPIN symposium on model checking of software [Elektronski vir] : SPIN, July 21-23, 2014 San Jose, USA : proceedings
    Symposium on model checking of software (2014 ; San Jose, USA)
    Type of material - proceedings of conference contributions ; adult, serious
    Publication and manufacture - New York : ACM, 2014
    Language - english
    ISBN - 978-1-4503-2452-6
    COBISS.SI-ID - 18074902