Dipl.-Inform. Vincent Vialard

» Home

» People

» Core competences

» Projects

» Former

» Publications

» Details

» Software

» Courses

» Thesis subjects

» Impressum

» Location

		Address
		Ulm

		Germany

Projects

		Former
		Verifix

Publications

		1998
		Dold, Gaul, Vialard, Zimmermann, ASM-Based Mechanized Verification of Compiler Backends

Login

Links