acm sigsoft software engineering notes (8)
journal of automated reasoning (4)
scientific journal ukrainian journal of forest & wood science (2)
2009 31st international conference on software engineering - companion volume, software engineering - companion volume, 2009. icse-companion 2009. 31st international conference on (1)
2011 26th ieee/acm international conference on automated software engineering (ase 2011), automated software engineering (ase), 2011 26th ieee/acm international conference on (1)
2016 ieee/aiaa 35th digital avionics systems conference (dasc) (1)
2016 ieee/aiaa 35th digital avionics systems conference (dasc), digital avionics systems conference (dasc), 2016 ieee/aiaa 35th (1)
2018 formal methods in computer aided design (fmcad), formal methods in computer aided design (fmcad), 2018 (1)
computer aided verification. part i (1)
fujitsu scientific & technical journal (1)
fundamental approaches to software engineering: 14th international conference, fase 2011, held as part of the joint european conferences on theory & practice of software, etaps 2011, saarbrucken, germany, march 26-april 3, 2011. proceedings (1)
materials research express (1)
model checking software (9783642391750) (1)
nasa formal methods 7th international symposium, nfm 2015, pasadena, ca, usa, april 27-29, 2015, proceedings (1)
proceedings of the 2006 international symposium: software testing & analysis (1)
proceedings of the 9th european software engineering conference held jointly with 11th acm sigsoft international symposium: foundations of software engineering (1)
proceedings of the twenty-second ieee/acm international conference: automated software engineering (1)
sciencerise: pharmaceutical science (1)
tekstilec (1)