Atomizer Software Authors: Flanagan C, Freund SN Cited in: 16 Publications (2004–2021) Related Software: Velodrome; SingleTrack; Eraser; Java PathFinder; Goldilocks; ESC/Java; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)
SingleTrack Software Authors: Caitlin Sadowski; Stephen N. Freund; Cormac Flanagan Cited in: 6 Publications (2009–2017) Related Software: Atomizer; Velodrome; Soot; Cilk; CIL; Java Grande; … Main Fields: Computer science (68-XX)
HLIO Software Authors: Buiras, Pablo; Vytiniotis, Dimitrios; Russo, Alejandro Cited in: 3 Publications (2015–2019) Related Software: Haskell; Flow Caml; MonPoly; Naiad; Apache Flink; contractLarva; … Main Fields: Computer science (68-XX)
Anica Software Authors: Service Technology Cited in: 1 Publication (2018) Related Software: MultiUbic; PEP Main Fields: Computer science (68-XX)