| Original language | English |
|---|
| Publisher | Faculty of Science, University of Copenhagen |
|---|---|
| Publication status | Published - 2012 |
Regular Expressions and Multiparty Session Types with Applications to Workflow Based Verification of User Interfaces
Lasse Nielsen
Lasse Nielsen
| Original language | English |
|---|
| Publisher | Faculty of Science, University of Copenhagen |
|---|---|
| Publication status | Published - 2012 |