![](/img/cover-not-exists.png)
[IEEE 2019 International Symposium on Theoretical Aspects of Software Engineering (TASE) - Guilin, China (2019.7.29-2019.7.31)] 2019 International Symposium on Theoretical Aspects of Software Engineering (TASE) - Certified Embedding of B Models in an Integrated Verification Framework
Halchin, Alexandra, Ait-Ameur, Yamine, Singh, Neeraj Kumar, Feliachi, Abderrahmane, Ordioni, JulienYear:
2019
Language:
english
DOI:
10.1109/TASE.2019.000-4
File:
PDF, 252 KB
english, 2019