On the consistency, expressiveness, and precision of partial modeling formalisms

Ou Wei, Arie Gurfinkel, Marsha Chechik. On the consistency, expressiveness, and precision of partial modeling formalisms. Inf. Comput., 209(1):20-47, 2011. [doi]

Abstract

Abstract is missing.