Pages that link to "Item:Q1935967"
From MaRDI portal
The following pages link to Programming languages and systems. 22nd European symposium on programming, ESOP 2013, held as part of the European joint conferences on theory and practice of software, ETAPS 2013, Rome, Italy, March 16--24, 2013. Proceedings (Q1935967):
Displaying 3 items.
- Effective abstractions for verification under relaxed memory models (Q681346) (← links)
- Programming languages and systems. 12th European symposium on programming, ESOP 2003, held as part of the joint European conferences on theory and practice of software, ETAPS 2003, Warsaw, Poland, April 7--11, 2003. Proceedings (Q1398128) (← links)
- Programming languages and systems. 30th European symposium on programming, ESOP 2021, held as part of the European joint conferences on theory and practice of software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 -- April 1, 2021. Proceedings (Q2043102) (← links)