Democratizing Formal Verification Author(s): Tobias Ludwig, Michael Schwarz, Paulius Morkunas, Silvio Santana, Dominik Stoffel, Wolfgang Kunz Location: Europe Year: 2021 Download