Artigo
Revisado por pares
Software defect detection by combining bounded model checking and approximations of functions
2014; Pleiades Publishing; Volume: 48; Issue: 7 Linguagem: Inglês
10.3103/s0146411614070025
ISSN1558-108X
AutoresMarat Akhin, Mikhail Belyaev, Vladimir Itsykson,
Tópico(s)Software Engineering Research
Referência(s)