Back to Results
First PageMeta Content
Hardware verification languages / E / Component-based software engineering / Model checking / Modularity / Modular programming / Aspect-oriented software development / Formal verification


The Influence of Software Module Systems on Modular Verification  Harry Li , Kathi Fisler and Shriram Krishnamurthi 
Add to Reading List

Document Date: 2002-11-30 10:30:39


Open Document

File Size: 227,00 KB

Share Result on Facebook