Relation lifting, a survey
Saved in:
| Published in | Journal of logical and algebraic methods in programming Vol. 85; no. 4; pp. 475 - 499 |
|---|---|
| Main Authors | , |
| Format | Journal Article |
| Language | English |
| Published |
01.06.2016
|
| Online Access | Get full text |
Cover
Loading…
| ISSN: | 2352-2208 |
|---|---|
| DOI: | 10.1016/j.jlamp.2015.08.002 |