automated software engineering (2)
hardware & software: verification & testing: 10th international haifa verification conference, hvc 2014, haifa, israel, november 18-20, 2014. proceedings (2)
mathematical structures in computer science (2)
2012 ieee fifth international conference on software testing, verification & validation (1)
2012 ieee fifth international conference on software testing, verification and validation, software testing, verification and validation (icst), 2012 ieee fifth international conference on (1)
automated software engineering: an international journal (1)
dependable software engineering: theories, tools & applications (9783319476766) (1)
fm 2011: formal methods (1)
formal aspects of security & trust (1)
mathematical structures in computer science. a journal in the applications of categorical, algebraic and geometric methods in computer science (1)
nasa formal methods 7th international symposium, nfm 2015, pasadena, ca, usa, april 27-29, 2015, proceedings (1)
nasa formal methods: 6th international symposium, nfm 2014, houston, tx, usa, april 29 - may 1, 2014. proceedings (1)
proceedings of the 14th acm sigsoft international symposium: foundations of software engineering (1)
theory and applications of satisfiability testing---sat 2013 (1)
tools & algorithms for the construction & analysis of systems (9783642287558) (1)