HOL-TestGen Cited in 6 Documents (2007–2018) Software Authors: Achim D. Brucker, Lukas Brügger, Abderrahmane Feliachi, Chantal Keller, Matthias P. Krieger, Delphine Longuet, Yakoub Nemouchi, Frédéric Tuong, Burkhart Wolff Related Software: Isabelle/HOL; ETPS; Korat; … Main Fields: Computer science (68-XX)
UPF Firewall Cited in 1 Document (2018) Software Authors: Achim D. Brucker, Lukas Brügger, Burkhart Wolff Related Software: GitHub; NetKAT; Firmato; … Main Fields: Computer science (68-XX)