| changeset 426 | 5b77220fdf01 |
| parent 423 | b7199d6c672d |
| 425:14c558ae0b09 | 426:5b77220fdf01 |
|---|---|
349 articleno = {4}, |
349 articleno = {4}, |
350 numpages = {8} |
350 numpages = {8} |
351 } |
351 } |
352 |
352 |
353 |
353 |
354 @INPROCEEDINGS{verbatim, |
|
355 author={D.~Egolf and S.~Lasser and K.~Fisher}, |
|
356 booktitle={2021 IEEE Security and Privacy Workshops (SPW)}, |
|
357 title={{V}erbatim: {A} {V}erified {L}exer {G}enerator}, |
|
358 year={2021}, |
|
359 volume={}, |
|
360 number={}, |
|
361 pages={92--100}} |