Login / Signup

Interactive Theorem Proving with Temporal Logic.

Amy P. FeltyLaurent Théry
Published in: J. Symb. Comput. (1997)
Keyphrases