Login / Signup

A Comparative Study of Invariant Assertions, Invariant Relations, and Invariant Functions.

Asma LouhichiOlfa MraihiLamia Labed JilaniAli Mili
Published in: WING@ETAPS/IJCAR (2010)
Keyphrases