Login / Signup
Proving and Debugging Set-Based Specifications.
Jean-François Couchot
Frédéric Dadeau
David Déharbe
Alain Giorgetti
Silvio Ranise
Published in:
Electron. Notes Theor. Comput. Sci. (2004)
Keyphrases
</>
small number
real time
data sets