Research output: Chapter in Book/Report/Conference proceeding › Chapter › Research › peer-review
| Original language | English |
|---|---|
| Title of host publication | Detection of Inconsistent Contracts Through Modular Verification |
| Pages | 206-220 |
| DOIs | |
| Publication status | Published - 19 Mar 2019 |
| Name | Proceedings of 6th International Conference in Software Engineering for Defence Applications |
|---|---|
| Volume | 925 |
| ISSN (Print) | 2194-5357 |
| ISSN (Electronic) | 2194-5365 |
ID: 65525948