Revision as of 17:04, 29 March 2008

AProVE (Automated Program Verification Environment)

developed at RWTH Aachen, Germany
home page: http://aprove.informatik.rwth-aachen.de
developers: Jürgen Giesl, Peter Schneider-Kamp, Stephan Swiderski, Carsten Fuhs et al.
publication: {{{publication}}}

Revision as of 13:09, 29 March 2008 view source Admin (talk \| contribs) Bureaucrats, Administrators 150 edits No edit summary ← Older edit		Revision as of 17:04, 29 March 2008 view source Admin (talk \| contribs) Bureaucrats, Administrators 150 edits No edit summary Newer edit →
Line 14:		Line 14:
	}}		}}

	<!-- If you want to add some ~~personal data~~ to ~~your userpage~~, you can do so after this comment. -->		<!-- If you want to add some additional information to the tool page, you can do so after this comment. -->