VSE knjižnice (vzajemna bibliografsko-kataložna baza podatkov COBIB.SI)
  • 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)
    Vrsta gradiva - konferenčni zbornik ; neleposlovje za odrasle
    Založništvo in izdelava - New York : ACM, 2014
    Jezik - angleški
    ISBN - 978-1-4503-2452-6
    COBISS.SI-ID - 18074902