Login / Signup

A Framework for Testing Safety and Effective Computability.

Ravi KrishnamurthyRaghu RamakrishnanOded Shmueli
Published in: J. Comput. Syst. Sci. (1996)
Keyphrases