Reversible computing from a programming language perspective (extended abstract)
Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research
| Original language | English |
|---|---|
| Title of host publication | Formal Methods. FM 2019 International Workshops : Porto, Portugal, October 7–11, 2019, Revised Selected Papers |
| Number of pages | 3 |
| Volume | 2 |
| Publisher | Springer VS |
| Publication date | 2020 |
| Pages | 410-412 |
| Publication status | Published - 2020 |
| Event | 3rd World Congress on Formal Methods, FM 2019 - Porto, Portugal Duration: 7 Oct 2019 → 11 Oct 2019 |
Conference
| Conference | 3rd World Congress on Formal Methods, FM 2019 |
|---|---|
| Land | Portugal |
| By | Porto |
| Periode | 07/10/2019 → 11/10/2019 |
| Series | Lecture Notes in Computer Science |
|---|---|
| Volume | 12233 |
| ISSN | 0302-9743 |
Links
- https://link.springer.com/content/pdf/bfm:978-3-030-54997-8/6/1.pdf
Final published version
ID: 249395658