| Original language | English |
|---|---|
| Title of host publication | Design and Test Europe -- DATE 2014, 24.-28.3.2014, Dresden, Germany |
| Publication status | Published - 2014 |
| MoE publication type | A4 Conference publication |
Library-Based Scalable Refinement Checking for Contract-Based Design
A. Iannopollo, P. Nuzzo, Stavros Tripakis, A. Sangiovanni-Vincentelli
Research output: Chapter in Book/Report/Conference proceeding › Conference article in proceedings › Scientific › peer-review
23
Citations
(Scopus)