Found 2 Software Packages (Results 1–2)


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)


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)

Filter Results by …

all top 5

Related Software

Main Field