JPAX Cited in 21 Documents (2002–2022) Software Authors: Havelund, Klaus; Roşu, Grigore Related Software: Maude; Bandera; Java PathFinder; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)
WrapDroid Cited in 0 Documents Software Authors: Wang, Xueqiang; Wang, Yuewu; Liu, Limin; Lei, Lingguang; Jing, Jiwu Related Software: – Main Fields: Computer science (68-XX); Information and communication theory, circuits (94-XX)