Using Compositional Verification to Manage Change in Large-Scale Systems

Radu Constantin Calinescu, Shinji Kikuchi, Kenneth Harold Anthony Johnson

Research output: Chapter in Book/Report/Conference proceeding › Chapter (peer-reviewed)

Search results