Formalizing and Checking Multilevel Consistency.

Ahmed Bouajjani, Constantin Enea, Madhavan Mukund, Ranjal Gautham Shenoy, S. P. Suresh

Browse the full VMCAI paper archive.