https://popl18.sigplan.org/profile/julianparsert
Julian Parsert - POPL 2018
Welcome to the website of The 45th ACM SIGPLAN Symposium on Principles of Programming Languages (POPL 2018) The annual Symposium on Principles of Programming...
julianpopl
https://diffblue.github.io/cbmc/classstatement__list__parsert.html
CBMC: statement_list_parsert Class Reference
statementlistclassreference