Reversible computing from a programming language perspective (extended abstract)
Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning
| Originalsprog | Engelsk |
|---|---|
| Titel | Formal Methods. FM 2019 International Workshops : Porto, Portugal, October 7–11, 2019, Revised Selected Papers |
| Antal sider | 3 |
| Vol/bind | 2 |
| Forlag | Springer VS |
| Publikationsdato | 2020 |
| Sider | 410-412 |
| Status | Udgivet - 2020 |
| Begivenhed | 3rd World Congress on Formal Methods, FM 2019 - Porto, Portugal Varighed: 7 okt. 2019 → 11 okt. 2019 |
Konference
| Konference | 3rd World Congress on Formal Methods, FM 2019 |
|---|---|
| Land | Portugal |
| By | Porto |
| Periode | 07/10/2019 → 11/10/2019 |
| Navn | Lecture Notes in Computer Science |
|---|---|
| Vol/bind | 12233 |
| ISSN | 0302-9743 |
Links
- https://link.springer.com/content/pdf/bfm:978-3-030-54997-8/6/1.pdf
Forlagets udgivne version
ID: 249395658