| Copyright | (c) Otto-von-Guericke University of Magdeburg |
|---|---|
| License | GPLv2 or higher, see LICENSE.txt |
| Safe Haskell | Safe |
VSE
Description
The VSE folder contains the skeleton of an instance of Logic.Logic for VSE, see The VSE Refinement Method in Hets. Electronic Communications of the EASST, 62, 2013. Mihai Codescu, Bruno Langenstein, Christian Maeder and Till Mossakowski. https://journal.ub.tu-berlin.de/eceasst/article/view/859