Name Card

Full name Familienname, Vorname

Roesch, Jared

Own Publications Eigene Publikationen

Results 1-2 of 2 (Search time: 0.005 seconds).

RIS EndNote Bibtex Excel CSV Send via email

		Preview	Author(s)	Title	Type	Issue Date
	1		Ebner, Gabriel ; de Moura, Leonardo ; Roesch, Jared ; Ullrich, Sebastian	The Lean Theorem Prover	Präsentation Presentation	2017
	2		Ebner, Gabriel ; Ullrich, Sebastian ; Roesch, Jared ; Avigad, Jeremy ; de Moura, Leonardo	A metaprogramming framework for formal verification	Artikel Article	2017