in_proceedings
Detail
Publication date: 1 de June, 2021Proceedings of the 2014 ACM SIGPLAN Workshop on Programming Languages meets Program Verification, PLPV 2014
| Publisher | ACM |
|---|---|
| Series | ACM 2014 |
| Pub. Date | 01/01/2014 |
| Publisher | ACM |
|---|---|
| Series | ACM 2014 |
| Pub. Date | 01/01/2014 |