Verifizierte Formelauswertung in
Computer-Algebra-Systemen und
objektorientierten Programmierumgebungen
von
Andreas Steins

©Andreas  Steins