JSNice Cited in 2 Documents (2015–2020) Software Authors: Raychev, Veselin; Vechev, Martin; Krause, Andreas Related Software: HoTT; ML4PG; Archive Formal Proofs; … Main Fields: Computer science (68-XX)
Cnerator Cited in 0 Documents Software Authors: Ortin, Francisco; Escalada, Javier Related Software: YARPGen; Frama-C; Python Main Fields: –
NaturalCC Cited in 0 Documents Software Authors: Wan, Yao; He, Yang; Zhang, Jian-Guo; Sui, Yulei; Jin, Hai; Xu, Guandong; Xiong, Caiming; Yu, Philip S. Related Software: CodeBERT; VulDeePecker; RoBERTa; … Main Fields: –