Translating Alloy and extensions to classical B.
Saved in:
| Title: | Translating Alloy and extensions to classical B. |
|---|---|
| Authors: | Krings, Sebastian1, sebastian.krings@hhu.de, Leuschel, Michael1, michael.leuschel@hhu.de, Schmidt, Joshua1, joshua.schmidt@hhu.de, Schneider, David1, david.schneider@hhu.de, Frappier, Marc2, marc.frappier@usherbrooke.ca |
| Source: | Science of Computer Programming; Mar2020, Vol. 188, pN.PAG-N.PAG, 1p |
| Database: | Applied Science & Technology Source |
| ISSN: | 01676423 |
|---|---|
| DOI: | 10.1016/j.scico.2019.102378 |
