Publications
In Press | ||
---|---|---|
1 |
Full contract verification for ATL using symbolic execution. Software & Systems Modeling. In Press. Abstract
|
In Press | ||
---|---|---|
1 |
Full contract verification for ATL using symbolic execution. Software & Systems Modeling. In Press. Abstract
|