![](https://www.pdfsearch.io/img/57339cb65945682a0863cc78328a7dcb.jpg) Date: 2017-01-19 08:43:04
| | Tackling Real-Life Relaxed Concurrency with FSL++ Marko Doko and Viktor Vafeiadis Max Planck Institute for Software Systems (MPI-SWS) Abstract. We extend fenced separation logic (FSL), a program logic forAdd to Reading ListSource URL: plv.mpi-sws.orgDownload Document from Source Website File Size: 742,43 KBShare Document on Facebook
|