CIL Cited in 30 Documents (2002–2022) Software Authors: Necula, G.C., McPeak, S., Rahul, S.P., Weimer, W. Related Software: BLAST; CBMC; SLAM; … Main Fields: Mathematical logic and foundations (03-XX); Numerical analysis (65-XX); Computer science (68-XX); …
CIL Cited in 1 Document (2022) Software Authors: Jakob S. Jørgensen, Evelina Ametova, Genoveva Burca, Gemma Fardell, Evangelos Papoutsellis, Edoardo Pasca, Kris Thielemans, Martin Turner, Ryan Warr, William R. B. Lionheart, Philip J. Withers Related Software: LSQR; SIRF; CCPi-Regularisation; … Main Fields: Numerical analysis (65-XX)
CREST Cited in 0 Documents Software Authors: Burnim, J. Related Software: DART; SPIN; CUTE; … Main Fields: –
MoonWalker Cited in 0 Documents Software Authors: Aan de Brugh, N.H.M., Nguyen, V.Y., Ruys, T.C. Related Software: StEAM; SatAbs; Orion; … Main Fields: –