Login / Signup

Theorembeweisen in hierarchischen bedingten Spezifikationen.

Jürgen AvenhausKlaus Madlener
Published in: Inform. Forsch. Entwickl. (1996)
Keyphrases